144
click to vote
CADE
16 years 2 months ago
2001 Springer 
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
110
click to vote
CADE
16 years 2 months ago
2001 Springer 
Context trees are a popular and effective tool for tasks such as compression, sequential prediction, and language modeling. We present an algebraic perspective of context trees for...
111
click to vote
CADE
16 years 2 months ago
2001 Springer 
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
|
Logical Reasoning