Follow
Thom Frühwirth
Thom Frühwirth
Professor of Computer Science, University of Ulm
Verified email at uni-ulm.de - Homepage
Title
Cited by
Cited by
Year
Theory and practice of constraint handling rules
T Frühwirth
The Journal of Logic Programming 37 (1), 95-138, 1998
9521998
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
2781995
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
1621992
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
The system can't perform the operation now. Try again later.
Articles 1–20