Publication:3983042

From MaRDI portal
Revision as of 00:51, 30 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath0744.68034MaRDI QIDQ3983042

Marc Bezem, Krzysztof R. Apt

Publication date: 26 June 1992



68Q55: Semantics in the theory of computing

68N17: Logic programming


Related Items