Search results for: Pierre Lescanne
Lecture Notes in Computer Science > FM’99 — Formal Methods > Foundations of System Specification (IFIP WG 1.3) > 963-982
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Logic, Language, and Computation > Logic and Computation > 101-124
Lecture Notes in Computer Science > TAPSOFT '89 > 28-41
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 121-135
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 169-183