BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dosch:Walter

Contributed to:

IFL 19961996
LFP 19841984
VLDB 19821982
ICALP 19791979

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.