# | | Year | Author(s) [non member] | | Title | Type | |
1 |
| Aardal, Karen (ed.) |
| |
| | 2001 | Eisenbrand, Friedrich
[Rote, Günter] | | Fast 2-variable integer programming
In: Proceedings of the 8th Conference on Integer and Combinatorial Optimization (IPCO-01), 78-89 | Proceedings Article | |
2 |
| Abadi, Martín (ed.) |
| |
| | 2005 | Podelski, Andreas
Rybalchenko, Andrey | | Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | Proceedings Article | |
| | 1997 | Matthews, Seán | | Extending a logical framework with a modal connective for validity
In: Proceedings of the 3rd Symposium on Theoretical Aspects of Computer Software (TACS-97), 491-514 | Proceedings Article | |
1 |
| |
| | 1998 | [Abdelwaheb, Ayari]
[Basin, David A.]
Podelski, Andreas | | LISA: A Specification Language Based on WS2S
In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), 18-34 | Proceedings Article | |
2 |
| |
| | 1991 | Hanus, Michael | | Parametric Order-Sorted Types in Logic Programming
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT-91), 181-200 | Proceedings Article | |
| | 1991 | Baumeister, Hubert | | Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution
In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), 103-120 | Proceedings Article | |
2 |
| Afshordel, Bijan |
| |
| | 2001 | Afshordel, Bijan
Hillenbrand, Thomas
Weidenbach, Christoph | | First-Order Atom Definitions Extended
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
1 |
| |
| | 1996 | Matthews, Seán
[Simpson, Alex] | | Reflection using the derivability conditions
In: Logic and Algebra, 603-616 | Part of a Book | |
3 |
| |
| | 2006 | de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article | |
| | 2006 | | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings | |
| | 2006 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article | |
2 |
| Aichernig, Bernhard K. (ed.) |
| |
| | 2005 | [Georgieva, Lilia]
Maier, Patrick | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article | |
| | 2005 | de Nivelle, Hans
Piskac, Ruzica | | Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | Proceedings Article | |
1 |
| Albani, Antonia (ed.) |
| |
| | 2005 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | Enhanced Workflow Models as a Tool for Judicial Practitioners
In: On the move to meaningful internet systems 2005: OTM 2005 Workshops : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 26-27 | Proceedings Article | |
1 |
| Albert, Chris (ed.) |
| |
| | 1999 | Weydert, Emil | | JZBR - Iterated Belief Change for Conditional Ranking Constraints
In: Proceedings of the 4th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-99), 57-66 | Proceedings Article | |
2 |
| Alferes, José Júlio (ed.) |
| |
| | 2004 | Kazakov, Yevgeny | | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 372-384 | Proceedings Article | |
| | 2004 | Baumgartner, Peter
[Burchardt, Aljoscha] | | Logic Programming Infrastructure for Inferences on FrameNet
In: Logics in artificial intelligence : 9th European Conference, JELIA 2004, 591-603 | Proceedings Article | |
1 |
| |