882 search results - page 99 / 177 » A Taste of Rewrite Systems |
97
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
109
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
103
Voted
ICTAI
1996
IEEE
15 years 4 months ago
1996
IEEE
We describe constraint solving using a rule-based approach. The distinction made between deduction rules and strategies by computational systems allows us to improve our understan...
108
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
In the A-calculus, there is a standard notion of what terms should be considered to be "undefined": the unsolvable terms. There are various equivalent characterisations o...
88
Voted
ACL
2006
15 years 2 months ago
2006
This paper proposes a generic mathematical formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polarization of the objects ...