Trees, Ordinals and Termination

Authors:
Nachum Dershowitz
Affiliations:
-
Venue:
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Year:
1993

Die another day

FUN'07 Proceedings of the 4th international conference on Fun with algorithms
Tree automata make ordinal theory easy

FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
A declarative specification of tree-based symbolic arithmetic computations

PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
The hydra battle revisited

Rewriting Computation and Proof

Hi-index	0.00