CADE
14 years 5 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...
CADE
14 years 5 months ago
2001 Springer CADE
14 years 5 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...
CADE
14 years 5 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...
CADE
14 years 5 months ago
2001 Springer |
Logical Reasoning