Search results for: Dorel Lucanu
Journal of Symbolic Computation > 2017 > 80 > P1 > 125-163
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 433-442
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 372-378
Lecture Notes in Computer Science > Unconventional Programming Paradigms > Bio-inspired Computing > 196-206
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Coinduction > 127-144
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Verification I > 220-236
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > CALCO Tools Workshop > 377-377
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Algebraic Specifications > 639-659
Formal Aspects of Computing > 2016 > 28 > 3 > 469-497
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 1(P1) > 98-120
Computer Languages, Systems & Structures > 2015 > 44 > PA > 48-71
Formal Aspects of Computing > 2015 > 27 > 4 > 701-726