An Application of Logic Engineering

DOI10.1093/jigpal/jzi003zbMath1088.03032OpenAlexW2070046121MaRDI QIDQ5463271

Sheila R. M. Veloso, Paulo A. S. Veloso, Renata P. de Freitas

Publication date: 3 August 2005

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzi003

zbMATH Keywords

modal logicdistributed systemsfirst-order logicrelation algebraarrow logicspecification formalismslogic engineering

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

On the Structure of Natural Deduction Derivations for “Generally”

This page was built for publication: An Application of Logic Engineering