zbMath0753.68060MaRDI QIDQ4010351
Egon Börger
Publication date: 27 September 1992
zbMATH Keywords
dynamic algebras
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
68N17: Logic programming
Related Items