Search results for: Sophie Tison
Lecture Notes in Computer Science > STACS 93 > 505-514
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 150-164
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2004 > XML > 863-875
Lecture Notes in Computer Science > Language and Automata Theory and Applications > Regular Papers > 350-361
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Invited Tutorial > 27-30
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 7. Induction, Rewriting, and Polymorphism > 247-262
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 127-141
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 337-351
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Abstracts of Invited Lectures > 3-5