Query Completeness of Skolem Machine Computations

DOI10.1007/978-3-540-74593-8_16zbMATH Open1159.68460OpenAlexW1509337861MaRDI QIDQ3608481FDOQ3608481

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

Recommendations

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

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

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)