Search results for: Marino Miculan
Theoretical Computer Science > 2016 > 655 > PB > 135-154
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Algebraic Models > 170-186
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 413-422
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 59-77
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 136-150
Lecture Notes in Computer Science > Automata, Languages and Programming > Specification and Deduction > 963-978
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 554-564
Lecture Notes in Computer Science
Journal of Logical and Algebraic Methods in Programming > 2015 > 84 > 6 > 826-852
Journal of Computer and System Sciences > 2015 > 81 > 5 > 834-858
Theoretical Computer Science > 2012 > 431 > Complete > 117-136
Electronic Notes in Theoretical Computer Science > 2008 > 192 > 3 > 23-37