12 search results - page 3 / 3 » Functional Plus Logic Programming with Built-In and Symbolic... |
197
Voted
SOFSEM
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. Constraint Handling Rules (CHR) is a general purpose, committedchoice declarative language which, differently from other similar languages, uses multi-headed (guarded) ru...
132
Voted
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...