This page in English

Suche

Sitemap

Kontakt

E-Mail

Informatik »
Lehrstühle »
Datenbanken und Informationssysteme »
Prof. Möller »
Veröffentlichungen »
Publikationen »
Ordered and continuous models of higher-order specifications

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.