Publication:4896256
From MaRDI portal
zbMath0857.68021MaRDI QIDQ4896256
Publication date: 20 October 1996
68T27: Logic in artificial intelligence
68Q55: Semantics in the theory of computing
68Q42: Grammars and rewriting systems
68N17: Logic programming