Seguir
Thom Frühwirth
Thom Frühwirth
Professor of Computer Science, University of Ulm
Dirección de correo verificada de uni-ulm.de - Página principal
Título
Citado por
Citado por
Año
Theory and practice of constraint handling rules
T Frühwirth
The Journal of Logic Programming 37 (1), 95-138, 1998
9531998
Essentials of Constraint Programming
T Frühwirth, S Abdennadher
Springer, 2003
3652003
Constraint Handling Rules
T Frühwirth
Cambridge University Press, 2009
2862009
Constraint handling rules
T Frühwirth
Constraint programming: Basics and trends, LNCS 910, 90-107, 1995
2801995
Logic programs as types for logic programs
T Frühwirth, E Shapiro, MY Vardi, E Yardeni
Logic in Computer Science, 1991. LICS'91. Proceedings of Sixth Annual IEEE …, 1991
2241991
Constraint Logic Programming - An informal introduction
T Frühwirth, A Herold, V Küchenhoff, T Le Provost, P Lim, E Monfroy, ...
Logic Programming in Action, 3-35, 1992
1631992
Constraint-Programmierung: Grundlagen und Anwendungen
T Frühwirth, S Abdennadher
Berlin: Springer, 1997
121*1997
Confluence and semantics of constraint simplification rules
S Abdennadher, T Frühwirth, H Meuss
Constraints 4, 133-165, 1999
1061999
Expertensysteme
G Gottlob, T Frühwirth, W Horn
Springer Verlag Wien - New York, 1990
97*1990
Optimal union-find in constraint handling rules
T Schrijvers, T Frühwirth
Theory and Practice of Logic Programming 6 (1-2), 213-224, 2006
712006
On confluence of constraint handling rules
S Abdennadher, T Frühwirth, H Meuss
Principles and Practice of Constraint Programming—CP96: Second …, 1996
66*1996
A Prolog Constraint Handling Rules compiler and runtime system
C Holzbaur, T Frühwirth
Applied Artificial Intelligence 14 (4), 369-388, 2000
602000
A linear-logic semantics for constraint handling rules
H Betz, T Frühwirth
International Conference on Principles and Practice of Constraint …, 2005
592005
Compiling constraint handling rules into Prolog with attributed variables
C Holzbaur, T Frühwirth
Principles and Practice of Declarative Programming: International Conference …, 1999
551999
Temporal annotated constraint logic programming
T Frühwirth
Journal of Symbolic Computation 22 (5), 555-584, 1996
551996
Parallelizing union-find in Constraint Handling Rules using confluence analysis
T Frühwirth
Proceedings of the 21st Conference on Logic Programming ICLP 2005, 113-127, 2005
542005
Constraint simplification rules
T Frühwirth
Workshop on Constraint Logic Programming at JICSLP'92, 1992
541992
ECLiPSe Extensions User Manual
P Brisset, T Fruehwirth, P Lim, M Meier, TL Provost, J Schimpf, M Wallace
European Computer-Industry Research Centre, Munich, 1994
50*1994
Polymorphically Typed Logic Programs.
E Yardeni, T Frühwirth, E Shapiro
Types in Logic Programming, 63-90, 1992
481992
Proving termination of constraint solver programs
T Frühwirth
Compulog Net/ERCIM Workshop on Constraints, 298-317, 1999
471999
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20