Thom Frühwirth

Theory and practice of constraint handling rules

Thom Frühwirth · The Journal of Logic Programming · 1998 · 624 citations

Computing, Computer Science, Knowledge Representation +10

Logic programs as types for logic programs

Thom Frühwirth, Ehud Shapiro, Moshe Y. Vardi et al. · 2002 · 152 citations

Computing, Computer Science, Logic +15

Confluence and Semantics of Constraint Simplification Rules

Slim Abdennadher, Thom Frühwirth, Holger Meuss · Constraints · 1999 · 59 citations

Computing, Computer Science, Formal Methods +11

Optimal union-find in Constraint Handling Rules

Tom Schrijvers, Thom Frühwirth · Theory and Practice of Logic Programming · 2006 · 50 citations · Full text

Computing, Computer Science, Algorithms +12

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

Hariolf Betz, Thom Frühwirth · ACM Transactions on Computational Logic · 2013 · 38 citations · Full text

Computing, Computer Science, Logic +16