# | | Author/Editor | Year | | Title | Publisher / Institution | |
1 |
| Book |
| |
11 |
| |
3 |
| Proceedings |
| |
85 |
| |
| | 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 | Springer | |
| | Bachmair, Leo
Ganzinger, Harald | 1998 | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | Springer | |
| | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | 1998 | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Springer | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | A New Method for Bounding the Complexity of Modal Logics
In: Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory (KGC-97), 89-102 | Springer | |
| | Basin, David A.
Matthews, Seán
Viganò, Luca | 1997 | | Labelled quantified modal logics
In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, 171-182 | Springer | |
| | Blackburn, Patrick
Tzakova, Miroslava | 1998 | | A Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ? | http://rutcor.rutgers.edu/~amai | |
| | Bockmayr, Alexander
Dimopoulos, Yannis | 1998 | | Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6 | NASA Ames Research Center | |
| | Bozzano, Marco
Delzanno, Giorgio
Martelli, Maurizio
Mascardi, Viviana
Zini, Floriano | 1999 | | Multi-Agent Systems Development as a Software Engineering Enterprise
In: Proceedings of the 1st International Workshop on Practical Aspects of Declarative Languages (PADL-99), 46-60 | Springer | |
| | Charatonik, Witold
McAllester, David
Niwinski, Damian
Podelski, Andreas
Walukiewicz, Igor | 1998 | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | IEEE | |
| | Charatonik, Witold
Podelski, Andreas | 1998 | | Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | Springer | |
| | Charatonik, Witold
Podelski, Andreas | 1998 | | Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | Springer | |
| | Charatonik, Witold
Podelski, Andreas | 1998 | | Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375 | Springer | |
| | Charatonik, Witold
Podelski, Andreas | 1997 | | Set Constraints with Intersection
In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), 362-372 | IEEE | |
| | Cortier, V.
Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | 1999 | | Decidable fragments of simultaneous rigid reachability
In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP-99), 250-260 | Springer | |
| | de Nivelle, Hans
Areces, Carlos
de Rijke, Maarten | 1999 | | Prefixed Resolution: A Resolution Method for Modal and Description Logics
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 187-201 | Springer | |
| | Degtyarev, Anatoli
Gurevich, Yuri
Narendran, Paliath
Veanes, Margus
Voronkov, Andrei | 1998 | | The Decidability of Simultaneous Rigid E-Unification with One Variable
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 181-195 | Springer | |
| | Delzanno, Giorgio | 1998 | | Specification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ?? | Elsevier | |
| | Delzanno, Giorgio
Esparza, Javier
Podelski, Andreas | 1999 | | Constraint-Based Analysis of Broadcast Protocols
In: Proceedings of the 13th International Workshop on Computer Science Logic (CSL-99), 8th Annual Conference on the EACSL, 50-66 | Springer | |
| | Delzanno, Giorgio
Podelski, Andreas | 1999 | | Model Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239 | Springer | |
| | Eisenbrand, Friedrich
Schulz, Andreas S. | 1999 | | Bounds on the Chvátal Rank of Polytopes in the 0/1-Cube
In: Proceedings of the 7th Conference on Integer Programming and Combinatorial Optimization (IPCO-99), 137-150 | Springer | |
| | Firozabadhi, Babak Sadighi
van der Torre, Leendert W. N. | 1998 | | Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | Wiley | |
| | Ganzinger, Harald
de Nivelle, Hans | 1999 | | A Superposition Decision Procedure for the Guarded Fragment with Equality
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 295-303 | IEEE | |
| | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | 1998 | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | Springer | |
| | Ganzinger, Harald
Meyer, Christoph
Veanes, Margus | 1999 | | The Two-Variable Guarded Fragment with Transitive Relations
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 24-34 | IEEE | |
| | Ganzinger, Harald
Meyer, Christoph
Weidenbach, Christoph | 1997 | | Soft Typing for Ordered Resolution
In: Proceedings of the 14th International Conference on Automated Deduction (CADE-14), 321-335 | Springer | |
| | Hustadt, Ullrich
Schmidt, Renate A. | 1999 | | Maslov's Class K Revisited
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 172-186 | Springer | |