| Title | Author(s) [non member] | Editor(s) [non member] | Year | Type |
| Über die Stabilität parameterisierter algebraischer Spezifikationen
Universität Dortmund | Baumeister, Hubert | | 1990 | Thesis - Masters thesis |
| Unification-free Execution of Well-moded Prolog Programs
In: Proc. of International Static Analysis Symposium, 243-260 | Krishna Rao, M. R. K.
Shyamasundar, R. K. | Mycroft, Alan | 1995 | Proceedings Article |
| Unification in Extensions of Shallow Equational Theories
In: Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98), 76-90 | [Jacquemard, Florent]
Meyer, Christoph
Weidenbach, Christoph | [Nipkow, Tobias] | 1998 | Proceedings Article |
| Unification in Order-Sorted Logic with Term Declarations
In: Proceedings of the 4th Conference on Logic Programming and Automated Reasoning (LPAR-93), 301-308 | Socher-Ambrosius, Rolf | Voronkov, Andrei | 1993 | Proceedings Article |
| Unification in Pseudo-Linear Sort Theories is Decidable
In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), 343-357 | Weidenbach, Christoph | [McRobbie, M. A.]
[Slaney, J. K.] | 1996 | Proceedings Article |
| Unification in Sort Theories
In: Proceedings of the 10th International Workshop on Unification, UNIF'96, 16-25 | Weidenbach, Christoph | [Schulz, Klaus U.]
[Kepser, Stephan] | 1996 | Proceedings Article |
| Unification in Sort Theories and its Applications
In: Annals of Mathematics and Artificial Intelligence [18], 261-293 | Weidenbach, Christoph | | 1996 | Journal Article |
| Unification Using Dynamic Sorts
Universität des Saarlandes | Graf, Peter | | 1992 | Thesis - Masters thesis |
| 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 | Baumeister, Hubert | Abramsky, S.
Maibaum, T. S. E. | 1991 | Proceedings Article |
| Universal variables in disconnection tableaux
In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133 | [Letz, Reinhold]
Stenz, Gernot | [Cialdea Mayer, Marta]
[Pirri, Fiora] | 2003 | Proceedings Article |
| Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes | Schlobach, Stefan | | 1996 | Thesis - Masters thesis |
| Use of replace rules in theorem proving
In: Methods of Logic in Computer Science [1], 217-240 | [Lee, Shie-Jue]
Plaisted, David A. | | 1994 | Journal Article |
| Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | [Simon, Carlo]
Freiheit, Jörn
[Olbrich, Sebastian] | [Nüttgens, Markus]
[Rump, Frank J.]
[Mendling, Jan] | 2006 | Proceedings Article |
| Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract)
In: Operations Research '93, 18th Symposium on Operations Research, 47-49 | Bockmayr, Alexander | Bachem, A.
et al. | 1994 | Proceedings Article |
| Utilitarian Desires
In: Autonomous Agents and Multi-Agent Systems [5], 329-363 | [Lang, Jérôme]
[van der Torre, Leendert W. N.]
Weydert, Emil | | 2002 | Journal Article |
| Utilizing Problem Structure in Planning: A Local Search Approach | Hoffmann, Jörg | | 2003 | Book |
| Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Ratschan, Stefan
[Smaus, Jan-Georg] | [Cassandras, Christos]
[Giua, Alessandro]
[Seatzu, Carla]
[Zaytoon, Janan] | 2006 | Proceedings Article |
| Verification of an Off-Line Checker for Priority Queues
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 210-219 | de Nivelle, Hans
Piskac, Ruzica | Aichernig, Bernhard K.
Beckert, Bernhard | 2005 | Proceedings Article |
| Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 136-152 | Blanchet, Bruno
Podelski, Andreas | [Gordon, Andrew D.] | 2003 | Proceedings Article |
| Verification of Cryptographic Protocols: Tagging Enforces Termination
In: Theoretical Computer Science [333], 67-90 | Blanchet, Bruno
Podelski, Andreas | | 2005 | Journal Article |
| Well-Behaved Inference Rules for First-Order Theorem Proving
In: Journal of Automated Reasoning [21], 381-400 | Wu, Jinzhao
[Liu, Zhuojun] | | 1998 | Journal Article |
| Where Ignoring Delete Lists Works: Local Search Topology in Planning Benchmarks
In: Journal of Artificial Intelligence Research [24], 685-758 | Hoffmann, Jörg | | 2005 | Journal Article |
| Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes | Klotzki, Pia | | 1995 | Thesis - Masters thesis |
| Workshop CPL Computational Propositional Logic
In: KI-95 Activities: Workshops, Posters, Demos, 71-72 | Barth, Peter
[Kleine Büning, Hans]
Weidenbach, Christoph | Dreschler-Fischer, Leonie
Pribbenow, Simone | 1995 | Proceedings Article |
| $\forall\exists^5$-equational theory of context unification is undecidable
In: Theoretical Computer Science [275], 463-479 | Vorobyov, Sergei | | 2002 | Journal Article |
| $\forall\exists^\ast$-Equational Theory of Context Unification is $\Pi_1^0$-Hard
In: Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS-98), 597-606 | Vorobyov, Sergei | Brim, Lubos
Gruska, Jozef
Zlatuska, Jirí | 1998 | Proceedings Article |