Travelled to:1 × Germany
1 × USA
Collaborated with:M.Droste J.Avenhaus B.Benninghofen K.Madlener
Talks about:system (2) domain (2) univers (1) program (1) languag (1) algebra (1) trspec (1) theori (1) specif (1) semant (1)
Person: Rüdiger Göbel
DBLP: G=ouml=bel:R=uuml=diger
Contributed to:
1990
1989
1986Wrote 3 papers:
- LICS-1990-DrosteG #formal method #programming language #semantics
- Universal Domains in the Theory of Denotational Semantics of Programming Languages (MD, RG), pp. 19–34.
- CSL-1989-DrosteG #effectiveness #information management
- Effectively Given Information Systems and Domains (MD, RG), pp. 116–142.
- CADE-1986-AvenhausBGM #algebra #named #specification #term rewriting
- TRSPEC: A Term Rewriting Based System for Algebraic Specifications (JA, BB, RG, KM), pp. 665–667.