Travelled to:1 × Austria
1 × Germany
1 × Mexico
1 × USA
Collaborated with:B.Möller M.Wirsing G.Mascari M.Broy H.Partsch P.Pepper
Talks about:existenti (1) quantifi (1) function (1) abstract (1) infinit (1) databas (1) algebra (1) specif (1) search (1) object (1)
Person: Walter Dosch
DBLP: Dosch:Walter
Contributed to:
1996
1984
1982
1979Wrote 4 papers:
- IFL-1996-DoschM #functional
- Calculating a Functional Module for Binary Search Trees (WD, BM), pp. 267–284.
- LFP-1984-DoschM #infinity #lazy evaluation
- Busy and Lazy FP with Infinite Objects (WD, BM), pp. 282–292.
- VLDB-1982-DoschMW #algebra #database #on the #specification
- On the Algebraic Specification of Databases (WD, GM, MW), pp. 370–385.
- ICALP-1979-BroyDPPW #data type #quantifier
- Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.