Thom Frühwirth
Thom Frühwirth
Professor of Computer Science, University of Ulm
Verified email at uni-ulm.de - Homepage
TitleCited byYear
Theory and practice of constraint handling rules
T Frühwirth
The Journal of Logic Programming 37 (1), 95-138, 1998
8621998
Constraint Handling Rules
T Frühwirth
Cambridge University Press, 2009
490*2009
Constraint handling rules
T Frühwirth
Constraint programming: Basics and trends, LNCS 910, 90-107, 1995
310*1995
Essentials of Constraint Programming
T Frühwirth, S Abdennadher
Springer, 2003
2912003
Constraint Handling Rules: Compilation, Execution, and Analysis
T Frühwirth, F Raiser
BoD, 2011
250*2011
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
2011991
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
146*1992
Constraint-Programmierung: Grundlagen und Anwendungen
T Frühwirth, S Abdennadher
Berlin: Springer, 1997
106*1997
Confluence and semantics of constraint simplification rules
S Abdennadher, T Frühwirth, H Meuss
Constraints 4 (2), 133-165, 1999
1051999
Expertensysteme
G Gottlob, T Frühwirth, W Horn
Springer Verlag Wien - New York, 1990
73*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
692006
On confluence of constraint handling rules
S Abdennadher, T Frühwirth, H Meuss
International Conference on Principles and Practice of Constraint …, 1996
65*1996
A linear-logic semantics for constraint handling rules
H Betz, T Frühwirth
International Conference on Principles and Practice of Constraint …, 2005
612005
Compiling constraint handling rules into Prolog with attributed variables
C Holzbaur, T Frühwirth
International Conference on Principles and Practice of Declarative …, 1999
571999
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
562005
Constraint simplification rules
T Frühwirth
Workshop on Constraint Logic Programming at JICSLP'92, 1992
551992
A Prolog Constraint Handling Rules compiler and runtime system
C Holzbaur, T Frühwirth
Applied Artificial Intelligence 14 (4), 369-388, 2000
542000
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
52*1994
Proving termination of constraint solver programs
T Frühwirth
Compulog Net/ERCIM Workshop on Constraints, 298-317, 1999
501999
Temporal annotated constraint logic programming
T Frühwirth
Journal of Symbolic Computation 22 (5-6), 555-583, 1996
501996
The system can't perform the operation now. Try again later.
Articles 1–20