First-order approximation of algorithmic theories

DOI10.1016/0304-3975(86)90097-6zbMath0632.68036OpenAlexW2038113785MaRDI QIDQ1095655

Wiktor Dańko

Publication date: 1986

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90097-6

zbMATH Keywords

model theoryalgorithmic theoryfirst-order languagealgorithmic logiccoding diverging computations

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Basic properties of first-order languages and structures (03C07)

Cites Work

• First-order dynamic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: First-order approximation of algorithmic theories