Author of the publication

Monotonicity Properties in Automated Deduction.

, , and . Artificial and Mathematical Theory of Computation, page 261-280. Academic Press / Elsevier, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

How to Cook a Temporal Proof System for Your Pet Language., and . POPL, page 141-154. ACM Press, (1983)Specification and Verification of Controlled Systems., and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 641-659. Springer, (1994)How to Clear a Block: Plan Formation in Situational Logic., and . CADE, volume 230 of Lecture Notes in Computer Science, page 622-640. Springer, (1986)The Special-Relation Rules are Incomplete., and . CADE, volume 607 of Lecture Notes in Computer Science, page 492-506. Springer, (1992)A Temporal Plan Theory., , and . WOCFAI, page 253-261. Angkor, 6, rue Maître-Albert, 75005 Paris, France, (1995)What Good Are Digital Clocks?, , and . ICALP, volume 623 of Lecture Notes in Computer Science, page 545-558. Springer, (1992)Verification in Continuous Time by Discrete Reasoning., and . AMAST, volume 936 of Lecture Notes in Computer Science, page 292-306. Springer, (1995)Hybrid Diagrams: A Deductive-Algorithmic Approach to Hybrid System Verification., , and . STACS, volume 1200 of Lecture Notes in Computer Science, page 153-164. Springer, (1997)Verification of Concurrent Programs: Temporal Proof Principles., and . Logic of Programs, volume 131 of Lecture Notes in Computer Science, page 200-252. Springer, (1981)A Deductive Approach to Program Synthesis., and . IJCAI, page 542-551. William Kaufmann, (1979)