zbMath0733.68011MaRDI QIDQ3995237
Gert Smolka
Publication date: 23 January 1993
zbMATH Keywords
specification; constraint languages; Polymorphically order-sorted types; POS-algebras unification
Mathematics Subject Classification ID
68Q45: Formal languages and automata
68Q42: Grammars and rewriting systems
68N17: Logic programming