Skolem Machines

DOI10.3233/FI-2009-0034zbMATH Open1193.68108MaRDI QIDQ3632011FDOQ3632011

Author name not available (Why is that?)

Publication date: 23 June 2009

Published in: Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

completenessuniversalitycorrectnessfinitary geometric logicGeolog languageGeolog treesSkolem machines

Mathematics Subject Classification ID

Turing machines and related notions (03D10)

Cited In (1)

• Invited Talk: Coherentisation of First-Order Logic

   Recommendations

• Machines 👍 👎
• Skolem Circles 👍 👎
• Skolem redux 👍 👎
• Skolem fragments 👍 👎
• The Machine of Bohnenberger 👍 👎
• Title not available (Why is that?) 👍 👎
• The Weitzenböck machine 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Skolem Machines

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