Volume 464

2

Principles of proof scores in CafeOBJ

Year:
2012
Language:
english
File:
PDF, 374 KB
english, 2012
3

Highlights in infinitary rewriting and lambda calculus

Year:
2012
Language:
english
File:
PDF, 982 KB
english, 2012
4

From diagrammatic confluence to modularity

Year:
2012
Language:
english
File:
PDF, 279 KB
english, 2012
5

Determinization of conditional term rewriting systems

Year:
2012
Language:
english
File:
PDF, 591 KB
english, 2012
6

Modularity in term rewriting revisited

Year:
2012
Language:
english
File:
PDF, 300 KB
english, 2012
7

Preface

Year:
2012
Language:
english
File:
PDF, 131 KB
english, 2012
8

Jumping and escaping: Modular termination and the abstract path ordering

Year:
2012
Language:
english
File:
PDF, 258 KB
english, 2012
9

Editorial Board

Year:
2012
Language:
english
File:
PDF, 58 KB
english, 2012