Sciweavers

8766 search results - page 198 / 1754
» Functional logic programming
Sort
View
CP
2005
Springer
15 years 4 months ago
Automated Search for Heuristic Functions
Pavel Cejnar, Roman Barták
ICALP
2004
Springer
15 years 3 months ago
The Complexity of Partition Functions
Andrei A. Bulatov, Martin Grohe
LOPSTR
2004
Springer
15 years 3 months ago
Natural Rewriting for General Term Rewriting Systems
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
Santiago Escobar, José Meseguer, Prasanna T...