Search results for: Christophe Ringeissen
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 276-290
Lecture Notes in Computer Science > Automated Deduction – CADE-22 > Session 2. Combinations and Extensions > 51-66
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Decision Procedures and Theorem Proving > 428-442
Lecture Notes in Computer Science > On the Move to Meaningful Internet Systems: OTM 2008 > Web Service > 26-43
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 237-251
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 366-370
Lecture Notes in Computer Science > Compiler Construction > Language Constructs and Their Implementation > 61-76
Lecture Notes in Computer Science > New Trends in Constraints > Constraint Propagation and Manipulation > 150-172
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 207-221
Lecture Notes in Computer Science > STACS 94 > 187-198
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 542-556
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2005 > Applied Logics and Computing Theory > 594-608