Publication:4896257

zbMath0857.68071MaRDI QIDQ4896257

D.Tătar

Publication date: 3 March 1997

zbMATH Keywords

operational semantics for logic programs

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68T27: Logic in artificial intelligence

68Q55: Semantics in the theory of computing

68Q42: Grammars and rewriting systems

68N17: Logic programming