Local Termination: theory and practice von Endrullis, Joerg, de Vrijer, Roel, Waldmann, Johannes

Volltext

Projections for infinitary rewriting (extended version) von Lombardi, Carlos, Ríos, Alejandro, de Vrijer, Roel

Volltext

Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday von Middeldorp, Aart, Oostrom, Vincent van, Raamsdonk, Femke van, Vrijer, Roel de

Volltext

Selected Papers on Automath von Nederpelt, R. P, Geuvers, J. H, de Vrijer, R. C

Volltext

Lambda calculus with patterns von Klop, Jan Willem, van Oostrom, Vincent, de Vrijer, Roel

Volltext

A direct proof of the finite developments theorem von de Vrijer, Roel

Volltext

Proof Terms for Infinitary Rewriting von Lombardi, Carlos, Ríos, Alejandro, de Vrijer, Roel

Volltext

Projections for Infinitary Rewriting von Lombardi, Carlos, Ríos, Alejandro, de Vrijer, Roel

Volltext

Processes, Terms and Cycles: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday von Middeldorp, Aart, van Oostrom, Vincent, van Raamsdonk, Femke, de Vrijer, Roel

Volltext

Projections for infinitary rewriting von Lombardi, Carlos, Ríos, Alejandro, de Vrijer, Roel

Volltext bestellen

Local Termination von Endrullis, Jörg, de Vrijer, Roel, Waldmann, Johannes

Volltext

Confluence of Graph Transformation Revisited von Plump, Detlef

Volltext

Reduction Under Substitution von Endrullis, Jörg, de Vrijer, Roel

Volltext

Proof terms for infinitary rewriting, progress report von Lombardi, Carlos, Ríos, Alejandro, de Vrijer, Roel

Volltext bestellen

Proving Infinitary Normalization von Endrullis, Jörg, Grabmayer, Clemens, Hendriks, Dimitri, Klop, Jan Willem, de Vrijer, Roel

Volltext

Descendants and Origins in Term Rewriting von Bethke, Inge, Klop, Jan Willem, de Vrijer, Roel

Volltext

Finite Equational Bases in Process Algebra: Results and Open Questions von Aceto, Luca, Fokkink, Wan, Ingolfsdottir, Anna, Luttik, Bas

Volltext

A Calculus of Lambda Calculus Contexts von Bognar, Mirna, de Vrijer, Roel

Volltext

Projections for infinitary rewriting von Lombardi, Carlos, Ríos, Alejandro, de Vrijer, Roel

Volltext

Lambda calculus with patterns: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca von KLOP, Jan Willem, VAN OOSTROM, Vincent, DE VRIJER, Roel

Volltext