An Application of Logic Engineering

DOI10.1093/JIGPAL/JZI003MaRDI QIDQ5463271zbMATH OpenOpenAlexFDO

Authors 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

distributed systemsfirst-order logicmodal logicrelation algebraarrow logicspecification formalismslogic engineering

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 962824
• scientific article; zbMATH DE number 4024772
• scientific article; zbMATH DE number 605797
• scientific article; zbMATH DE number 789391
• scientific article; zbMATH DE number 992300
• scientific article; zbMATH DE number 49423
• scientific article; zbMATH DE number 3938529
• Program logics and their applications

Cited in

(3)

• scientific article; zbMATH DE number 4024772 (Why is no real title available?)
• On the Structure of Natural Deduction Derivations for “Generally”
• scientific article; zbMATH DE number 789391 (Why is no real title available?)

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

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