| Elimination of Equality via Transformation with Ordering Constraints
In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), 175-190 | Bachmair, Leo
Ganzinger, Harald
Voronkov, Andrei | Kirchner, Claude
Kirchner, Hélène | 1998 | Proceedings Article |
| Embedding OR Techniques in Constraint Logic Programming
In: Operations Research '92. 17th Symposium on Operations Research, 252-254 | Bockmayr, Alexander | Karmann, A.
Mosler, K.
Schader, M.
Uebe, G. | 1993 | Proceedings Article |
| Encoding two-valued non-classical logics in classic logic
In: Handbook of Automated Reasoning, 1403-1486 | Nonnengart, Andreas
[Ohlbach, Hans Jürgen]
[Gabbay, Dov M.] | Robinson, Alan
Voronkov, Andrei | 2001 | Part of a Book |
| 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 | Freiheit, Jörn
[Münch, Susanne]
[Schöttle, Hendrik]
[Sijanski, Grozdana]
[Zangl, Fabrice] | Meersman, Robert
Tari, Zahir
Herrero, Pilar
Méndez, Gonzalo
Cavedon, Lawrence
Martin, David
Hinze, Annika
Buchanan, George
Pérez, María S.
Robles, Víctor
Humble, Jan
Albani, Antonia
Dietz, Jan L.G.
Panetto, Herve
Scannapieco, Monica
Halpin, Terry
Spyns, Peter
Zaha, Johannes Maria
Zimány, Esteban
Stefanakis, Emmanuel
Dillon, Tharam
Feng, Ling
Jarrar, Mustafa
Lehmann, Jos
de Moor, Aldo
Duval, Erik
Aroyo, Lora | 2005 | Proceedings Article |
| Entailment of Atomic Set Constraints is PSPACE-Complete
In: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS-99), 285-294 | Talbot, Jean-Marc
[Niehren, Joachim]
[Müller, Martin] | [Longo, Giuseppe] | 1999 | Proceedings Article |
| Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Plaisted, David A. | Gabbay, Dov M.
Hogger, C.
Robinson, J. A.
Siekmann, J. | 1993 | Proceedings Article |
| Equational Reasoning in Saturation-Based Theorem Proving
In: Automated Deduction: A Basis for Applications, 353-397 | Bachmair, Leo
Ganzinger, Harald | Bibel, Wolfgang
Schmitt, Peter H. | 1998 | Part of a Book |
| Evolutionary Algorithms and their Application | | [Claus, Volker]
Hopf, Jörn
[Schwefel, Hans-Paul] | 1996 | Report |
| Experience with $FS_0$ as a Framework Theory
In: Logical Environments, 61-82 | Matthews, Seán
Smaill, Alan
Basin, David A. | Huet, G.
Plotkin, G. | 1993 | Part of a Book |
| Experiments in Automating Hardware Verification using Inductive Proof Planning
In: Proceedings of the Formal Methods for Computer-Aided Design Conference (FMCAD'96), 94-108 | [Cantu, Francisco]
[Bundy, Alan]
[Smaill, Alan]
Basin, David A. | [Srivas, M.]
[Camilleri, A.] | 1996 | Proceedings Article |