23201 search results - page 43 / 4641 » Rewriting Systems with Data |
ICLP
1997
Springer
14 years 2 months ago
1997
Springer
We introduce novel, sound, complete, and locally optimal evaluation strategies for functional logic programming languages. Our strategies combine, in a non-trivial way, two landma...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
CCS
2005
ACM
14 years 3 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
POPL
1997
ACM
14 years 1 months ago
1997
ACM
The following theorem of Huet and L
AI
2000
Springer
14 years 2 months ago
2000
Springer
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...