 | Author(s) [non member] | Editor(s) [non member] | Year | | Title | Type | |
|---|
 | D |
| |
|
| |
| 01 Requirements/Specifications; D.2.3 Coding; D.2.4 Progr am Verification; D.2.6 Programming Environments; D.2.10 Design; D.2.m Miscella neous |
| |
| Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando | Hoffmann, Berthold
Krieg-Brückner, Bernd | 1993 | | Completion Subsystem
In: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System, 460-494 | Part of a Book | |
| F |
| |
|
| |
| 01 Mathematical Logic - Mechanical theorem proving |
| |
| Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | 1995 | | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article | |
| I |
| |
|
| |
| 01 Computing Methodologies |
| |
| van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1997 | | Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232 | Proceedings Article | |
| 03 Deduction and Theorem Proving |
| |
| Bachmair, Leo
Ganzinger, Harald
Stuber, Jürgen | Astesiano, Egidio
Reggio, Gianna
Tarlecki, Andrzej | 1995 | | Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
In: Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, 1-29 | Proceedings Article | |
| Law |
| |
|
| |
| I.2.3 Computing Methodologies |
| |
| van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1997 | | Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232 | Proceedings Article | |
| J.1 Computer Applications |
| |
| van der Torre, Leendert W. N.
[Tan, Yao-Hua] | | 1997 | | Distinguishing different roles in normative reasoning
In: Proceedings of the 6th International Conference on Artificial Intelligence and Law (ICAIL-97), 225-232 | Proceedings Article | |
| *No CR Index |
| |
| Brahm, Uwe | | 2013 | | Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes | Thesis - Master's thesis | |
| Meter, Peter | Blubber, Bla
Bla, Blubber | 2009 | | Just a test entry
In: Booktitle, 1001-1010 | Proceedings Article | |
| 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 | |
| [Podelski, Andreas]
Wagner, Silke | | 2007 |  | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |
| [Podelski, Andreas]
Wagner, Silke | Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C. | 2007 | | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | Poster | |
| Jacobs, Swen
Sofronie-Stokkermans, Viorica | | 2007 | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article | |
| [Podelski, Andreas]
Rybalchenko, Andrey | Hanus, Michael | 2007 | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | Proceedings Article | |
| Sofronie-Stokkermans, Viorica | | 2007 | | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | Journal Article | |
| Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | [Cook, Byron]
[Podelski, Andreas] | 2007 | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article | |
