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
9211998
Essentials of Constraint Programming
T Frühwirth, S Abdennadher
Springer, 2003
3522003
Constraint handling rules
T Frühwirth
Constraint programming: Basics and trends, LNCS 910, 90-107, 1995
280*1995
Constraint Handling Rules
T Frühwirth
Cambridge University Press, 2009
2782009
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
2151991
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
1541992
Constraint-Programmierung: Grundlagen und Anwendungen
T Frühwirth, S Abdennadher
Berlin: Springer, 1997
114*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
92*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
63*1996
A linear-logic semantics for constraint handling rules
H Betz, T Frühwirth
Principles and Practice of Constraint Programming-CP 2005: 11th …, 2005
612005
Compiling constraint handling rules into Prolog with attributed variables
C Holzbaur, T Frühwirth
PPDP 99, 117-133, 1999
591999
A Prolog Constraint Handling Rules compiler and runtime system
C Holzbaur, T Frühwirth
Applied Artificial Intelligence 14 (4), 369-388, 2000
572000
Temporal annotated constraint logic programming
T Frühwirth
Journal of Symbolic Computation 22 (5), 555-584, 1996
571996
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
552005
Constraint simplification rules
T Frühwirth
Workshop on Constraint Logic Programming at JICSLP'92, 1992
531992
Proving termination of constraint solver programs
T Frühwirth
New Trends in Constraints: Joint ERCIM/Compulog NetWorkshop Paphos, Cyprus …, 2001
482001
Polymorphically Typed Logic Programs.
E Yardeni, T Frühwirth, E Shapiro
Types in Logic Programming, 63-90, 1992
471992
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
46*1994
The system can't perform the operation now. Try again later.
Articles 1–20