Search results for: Marina Lenisa
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 309-320
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 119-134
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 3. Proof-Theory 1 > 143-157
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 407-421
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 243-257
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2000 > Contributed Papers > 141-151
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Game Theory > 300-316
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 334-349
Theoretical Computer Science > 2015 > 604 > Complete > 46-62
Theoretical Computer Science > 2008 > 398 > 1-3 > 150-169