scientific article; zbMATH DE number 5041701
From MaRDI portal
Publication:5476840
zbMath1095.68607MaRDI QIDQ5476840
V. A. Lipovchenko, Andreĭ Valer'evich Mantsivoda
Publication date: 18 July 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)
This page was built for publication:
