BibTeX cite key | Author/Editor | Year | | Title | Type |
KupferschmidEtAl2006 | Kupferschmid, Sebastian
Hoffmann, Jörg
Dierks, Henning
Behrmann, Gerd | 2006 | | Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52 | Proceedings Article |
Lee2004 | Lee, Chin Soon | 2004 | | Size-change Termination Analyzer | Unpublished/Draft |
Lee2009 | Lee, Chin Soon | 2009 | | Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | Journal Article |
lepl:94a | Lee, Shie-Jue
Plaisted, David A. | 1994 | | Problem solving by searching for models with a theorem prover
In: Artificial Intelligence [69], 205-233 | Journal Article |
lepl:94b | Lee, Shie-Jue
Plaisted, David A. | 1994 | | Use of replace rules in theorem proving
In: Methods of Logic in Computer Science [1], 217-240 | Journal Article |
LETZ03 | Letz, Reinhold
Stenz, Gernot | 2003 | | Universal variables in disconnection tableaux
In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133 | Proceedings Article |
LetzWeidenbach98 | Letz, Reinhold
Weidenbach, Christoph | 1998 | | Paradigmen und Perspektiven der automatischen Deduktion
In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | Journal Article |
LeuschelPodelski2004 | Podelski, Andreas | 2004 | | Introduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751 | Journal Article |
Leven-Diplom98 | Leven, Peter | 1998 | | Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes | Thesis - Masters thesis |
LevyVeanes99 | Levy, Jordi
Veanes, Margus | 2000 | | On the Undecidability of Second-Order Unification
In: Information and Computation [159], 125-150 | Journal Article |
LisaCSL | Abdelwaheb, Ayari
Basin, David A.
Podelski, Andreas | 1998 | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Proceedings Article |
LoechnerHillenbrandAICOM2002 | Löchner, Bernd
Hillenbrand, Thomas | 2002 | | A Phytography of WALDMEISTER
In: AI Communications [15], 127-133 | Journal Article |
LuWu1999 | Lu, Mi
Wu, Jinzhao | 2000 | | On Theorem proving in Annotated Logics
In: Journal of Applied Non-Classical Logics [10], 121-143 | Journal Article |
Madden-1992 | Madden, Peter | 1992 | | Automated Program Transformation Through Proof Transformation
In: Proceedings of the 11th International Conference on Automated Deduction (CADE-11), 446-460 | Proceedings Article |
Madden-93a | Madden, Peter
Bundy, Alan | 1993 | | General Proof Theoretic Techniques for Automatic
Programing
In: Proceedings of the EAST-WEST AI CONFERENCE: From
Theory to Practice - EWAIC'93, | Proceedings Article |
Madden-95a | Madden, Peter | 1995 | | Program improvement by proof planning
In: Proceedings of British Colloquium on Theoretical Computer Science (BCTCS 11), | Proceedings Article |
Madden-JAR | Madden, Peter
Bundy, Alan
Smaill, Alan | 1999 | | Recursive Program Optimization Through Inductive Synthesis Proof Transformation
In: Journal of Automated Reasoning [22], 65-115 | Journal Article |
Madden94a-djki | Madden, Peter | 1994 | | Formal Methods for Automated Program Improvement
In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, 367-378 | Proceedings Article |
MaddenGreen94b-aismc2 | Madden, Peter
Green, Ian | 1995 | | A General Technique for Automatic Optimization by Proof Planning
In: Proceedings of the 2nd International Conference on Artificial Intelligence and Symbolic Mathematical Computing (AISMC-2), 80-96 | Proceedings Article |
Maier2001 | Maier, Patrick | 2001 | | A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834 | Proceedings Article |
Maier2002 | Maier, Patrick | 2002 | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | Proceedings Article |
Maier2003 | Maier, Patrick | 2003 | | A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes | Thesis - PhD thesis |
Maier2003a | Maier, Patrick | 2003 | | Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357 | Proceedings Article |
Maier2004 | Maier, Patrick | 2004 | | Intuitionistic LTL and a New Characterization of Safety and Liveness | Report |
Maier2004 | Maier, Patrick | 2004 | | Intuitionistic LTL and a New Characterization of Safety and Liveness
In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, 295-309 | Proceedings Article |
makinson99 | Makinson, David
van der Torre, Leendert W. N. | 2000 | | Input-output logics
In: Journal of Philosophical Logic [29], 383-408 | Journal Article |
makinson99b | Makinson, David
van der Torre, Leendert W. N. | 2001 | | Input-output logics
In: Proceedings of the 5th International Workshop on Deontic Logic in Computer Science (Deon-00),, 29 | Proceedings Article |
malkis2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | 2006 | | Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article |
malkis2006a | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | 2006 | | Thread-Modular Verification and Cartesian Abstraction | Unpublished/Draft |
MalkisPodelskiRybalchenkoSAS2007 | Rybalchenko, Andrey | 2007 | | Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ? | Proceedings Article |