- Author:
- Marcelo Fabian Frias
No abstract available.
Cited By
- Boudou J Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition Proceedings of the 8th International Joint Conference on Automated Reasoning - Volume 9706, (373-388)
- Macedo H and Oliveira J (2015). A linear algebra approach to OLAP, Formal Aspects of Computing, 27:2, (283-307), Online publication date: 1-Mar-2015.
Moscato M, Pombo C and Frias M (2014). Dynamite, ACM Transactions on Software Engineering and Methodology, 23:2, (1-37), Online publication date: 1-Mar-2014.- Oliveira J (2012). Towards a linear algebra of programming, Formal Aspects of Computing, 24:4-6, (433-458), Online publication date: 1-Jul-2012.
- Pombo C and Frias M Complete calculi for structured specifications in fork algebra Proceedings of the 7th International colloquium conference on Theoretical aspects of computing, (290-305)
- Macedo H and Oliveira J Matrices as arrows! Proceedings of the 10th international conference on Mathematics of program construction, (271-287)
- Frias M, Pombo C and Moscato M Alloy analyzer+PVS in the analysis and verification of alloy specifications Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems, (587-601)
- Pombo C and Frias M Fork algebras as a sufficiently rich universal institution Proceedings of the 11th international conference on Algebraic Methodology and Software Technology, (235-247)
- Frias M, López Pombo C, Baum G, Aguirre N and Maibaum T (2005). Reasoning about static and dynamic properties in alloy, ACM Transactions on Software Engineering and Methodology, 14:4, (478-526), Online publication date: 1-Oct-2005.
Recommendations
Commutative pseudo-equality algebras
Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...
Pseudo-BL algebras and pseudo-effect algebras
Pseudo-BL algebras and pseudo-effect algebras arose in two rather different fields: fuzzy logics and quantum logics. In this paper, by introducing the notion of pseudo-weak MV-effect algebra which is non-commutative generalization of weak MV-effect ...
Congruences and ideals in pseudo effect algebras as total algebras
Congruences and ideals in pseudo-effect algebras and their total algebra versions are studied. It is shown that every congruence of the total algebra induces a Riesz congruence in the corresponding pseudo-effect algebra. Conversely, to every normal ...