A complete logic for Database Abstract State Machines1

DOI10.1093/jigpal/jzx021zbMath1492.68046arXiv1602.07486OpenAlexW2962981453MaRDI QIDQ5095627

Flavio Ferrarotti, Loredana Tec, Qing Wang, Klaus-Dieter Schewe

Publication date: 10 August 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1602.07486

zbMATH Keywords

abstract state machinecomplete logicdatabase transformation

Mathematics Subject Classification ID

Database theory (68P15) Formal languages and automata (68Q45) Logic in computer science (03B70)

Related Items (3)

Distributed Adaptive Systems ⋮ A Logic for Reflective ASMs ⋮ Computation on structures. Behavioural theory, logic, complexity

This page was built for publication: A complete logic for Database Abstract State Machines1