# | Y | | Author/Editor | | Title | |
1 |
| 2013 |
| |
2 |
| |
16 |
| 2007 |
| |
43 |
| |
41 |
| 2005 |
| |
37 |
| |
36 |
| 2003 |
| |
39 |
| |
58 |
| 2001 |
| |
48 |
| |
61 |
| 1999 |
| |
73 |
| |
5 |
|
| Part of a Book |
| |
37 |
|
| |
| | | 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 | |
| | | Bachmair, Leo
Ganzinger, Harald | | Strict Basic Superposition
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 160-174 | |
| | | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | | Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | |
| | | Basin, David A.
Matthews, Seán
Viganò, Luca | | A Modular Presentation of Modal Logics in a Logical Framework
In: Proceedings of the 1st Tbilisi Symposium on Language, Logic and Computation: Selected Papers, 293-307 | |
| | | Blackburn, Patrick
Tzakova, Miroslava | | A Hybrid Concept Language
In: Proceedings of the 5th International Symposium on Artificial Intelligence and Mathematics, ? | |
| | | Bockmayr, Alexander
Dimopoulos, Yannis | | Mixed Integer Programming Models for Planning Problems
In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), 1-6 | |
| | | Charatonik, Witold
McAllester, David
Niwinski, Damian
Podelski, Andreas
Walukiewicz, Igor | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | |
| | | Charatonik, Witold
Podelski, Andreas | | Co-definite Set Constraints
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 211-225 | |
| | | Charatonik, Witold
Podelski, Andreas | | Directional Type Inference for Logic Programs
In: Proceedings of the 5th International Symposium in Static Analysis (SAS-98), 278-294 | |
| | | Charatonik, Witold
Podelski, Andreas | | Set-Based Analysis of Reactive Infinite-state Systems
In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS-98), 358-375 | |
| | | Degtyarev, Anatoli
Gurevich, Yuri
Narendran, Paliath
Veanes, Margus
Voronkov, Andrei | | 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 | |
| | | Delzanno, Giorgio | | Specification of Term Rewriting in Linear Logic
In: Proceedings of Workshop on Proof-Search in Type-Theoretic Languages, ?? | |
| | | Firozabadhi, Babak Sadighi
van der Torre, Leendert W. N. | | Towards a formal analysis of control systems
In: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), 317-318 | |
| | | Ganzinger, Harald
Jacquemard, Florent
Veanes, Margus | | Rigid Reachability
In: Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science (ASIAN-98), 4-21 | |
| | | Hustadt, Ullrich
Schmidt, Renate A. | | Simplification and backjumping in modal tableau
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 187-201 | |
| | | Hustadt, Ullrich
Schmidt, Renate A.
Weidenbach, Christoph | | Optimised Functional Translation and Resolution
In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), 36-37 | |