Marcelo F. Frias

Available identifiers

Publication	Date of Publication	Type
(Heterogeneous) structured specifications in logics without interpolation	2024-09-06	Paper
Inference engine based on closure and join operators over truth table binary relations	2014-09-08	Paper
Complete Calculi for Structured Specifications in Fork Algebra	2010-08-31	Paper
Fork Algebras as a Sufficiently Rich Universal Institution	2009-04-28	Paper
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications	2007-09-03	Paper
Interpretability of first-order linear temporal logics in fork algebras	2006-03-16	Paper
A proof system for fork algebras and its applications to reasoning in logics based on intuitionism	2001-09-04	Paper
Completeness of a relational calculus for program schemes	2001-08-20	Paper

This page was built for person: Marcelo F. Frias