A guarded fragment for abstract state machines

DOI10.1007/s10849-005-5790-2zbMath1080.03013OpenAlexW1992490294MaRDI QIDQ2567346

Antje Nowack

Publication date: 4 October 2005

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-005-5790-2

zbMATH Keywords

decidabilityguarded fragmentexpressive powercomputabilityabstract state machinesDatalog LITEguarded fixed-point logic

Mathematics Subject Classification ID

Uses Software

• FALKO
• Datalog LITE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal languages and bounded fragments of predicate logic
• Abstract State Machines
• Evolving Algebras 1993: Lipari Guide
• On the Restraining Power of Guards
• Sequential abstract-state machines capture sequential algorithms
• Abstract State Machines 2004. Advances in Theory and Practice

This page was built for publication: A guarded fragment for abstract state machines