This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Forschung »
Algebraische Systembeschreibung »
Systementwicklung »
Spezifikation informatischer Systeme in Logik höherer Stufe
(ruhend) »
Publikationen

Publikationen

1996

Higher order algebra, logic and term rewriting
G. Dowek, J. Heering, K. Meinke, B. Möller (eds.)
LNCS 1074, 1996.

1994

Higher order algebra, logic and term rewriting
Heering, K. Meinke, B. Möller, T. Nipkow (eds.)
LNCS 816, 1994.
Ordered and continuous models of higher-order specifications
B. Möller
In J. Heering, K. Meinke, B. Möller, T. Nipkow (eds.): Higher-Order algebra, logic and term rewriting, LNCS 816.
pp. 223-255, 1994.
Springer-Verlag.