Search results for: Yves Métivier
Lecture Notes in Computer Science > Graph Transformations > Hypergraphs and Termgraph Rewriting > 54-68
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2005 > Papers > 212-223
Lecture Notes in Computer Science > Graph Grammars and Their Application to Computer Science > 549-563
Lecture Notes in Computer Science > STACS 94 > 339-352
Lecture Notes in Computer Science > Principles of Distributed Systems > Distributed Algorithms > 359-364
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 90-104
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 110-124
Lecture Notes in Computer Science > SOFSEM 2007: Theory and Practice of Computer Science > Foundations of Computer Science > 200-211
Lecture Notes in Computer Science > Theory and Application of Graph Transformations > Graph Theory > 71-84