scientific article
From MaRDI portal
Publication:3365575
zbMath1079.68518MaRDI QIDQ3365575
Publication date: 23 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Logic programming (68N17) Abstract and axiomatic computability and recursion theory (03D75)
This page was built for publication: