Query Completeness of Skolem Machine Computations

DOI10.1007/978-3-540-74593-8_16MaRDI QIDQ3608481zbMATH OpenOpenAlexFDO

Authors

Publication date 5 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74593-8_16

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Recommendations

• Skolem Machines
• Skolem Machines and Geometric Logic
• scientific article; zbMATH DE number 1670504
• scientific article; zbMATH DE number 1302496
• Abstract state machines and computationally complete query languages

Cited in

(1)

• Skolem Machines and Geometric Logic

This page was built for publication: Query Completeness of Skolem Machine Computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3608481)