scientific article; zbMATH DE number 2237358
From MaRDI portal
Publication:5711171
zbMath1092.68019MaRDI QIDQ5711171
Publication date: 9 December 2005
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: