Search results for: Claude Kirchner
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 130-144
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 10: Invited Talk > 297-316
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 168-183
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Models, Deduction, and Computation > 497-520
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Domains, Lambda Calculus, Types > 382-397
Lecture Notes in Computer Science > CAAP '88 > 165-184
Lecture Notes in Computer Science > Computer Security – ESORICS 2007 > Formal Methods in Security III > 578-593
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Constraint and Logic Programming > 194-208
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 174-183