A geometric proof of confluence by decreasing diagrams von Klop, JW, van Oostrom, V, de Vrijer, R

Volltext

Decomposition orders—another generalisation of the fundamental theorem of arithmetic von Luttik, Bas, van Oostrom, Vincent

Volltext

Confluence by decreasing diagrams von van Oostrom, Vincent

Volltext

Triangulation in rewriting von Oostrom, V. van, Zantema, Hans

Volltext

Diagram Techniques for Confluence von Bezem, Marc, Klop, Jan Willem, van Oostrom, Vincent

Volltext

Transition system specifications in stalk format with bisimulation as a congruence von van Oostrom, V., de Vink, E. P.

Volltext

Normalisation in Weakly Orthogonal Rewriting von van Oostrom, Vincent

Volltext

Regular Description of Context-free Graph Languages von Engelfriet, Joost, van Oostrom, Vincent

Volltext

Delimiting diagrams von Oostrom, V. van

Volltext bestellen

Higher-order (non-)modularity von Appel, Claus, Oostrom, V. van, Grue Simonsen, Jakob

Volltext

On the termination of Russel's description elimination algorithm von Grabmayer, C.A, Leo, J, Oostrom, V. van, Visser, A

Volltext bestellen

Decomposition Orders, another generalisation of the fundamental theorem of arithmetic von Luttik, B, Oostrom, V. van

Volltext bestellen

Sub-Birkhoff von Oostrom, V. van

Volltext bestellen

Vicious circles in rewriting systems von Ketema, J, Klop, J.W, Oostrom, V. van

Volltext bestellen

Four equivalent equivalences of reductions von Oostrom, V. van, Vrijer, R. de

Volltext bestellen

Uniform normalisation beyond orthogonality von Khasidashvili, Z, Ogawa, M, Oostrom, V. van

Volltext bestellen

Diagram Techniques for Confluence von Bezem, M.A, Klop, J.W, Oostrom, V. van

Volltext bestellen

A geometric proof of confluence by decreasing diagrams von Klop, J.W, Oostrom, V. van, Vrijer, R. de

Volltext bestellen

Meaningless terms in rewriting von Kennaway, R, Oostrom, V. van, Vries, F.-J. de

Volltext bestellen

Prolonged Differentiation of Neuron-Astrocyte Co-Cultures Results in Emergence of Dopaminergic Neurons von de Leeuw, Victoria C, van Oostrom, Conny T M, Zwart, Edwin P, Heusinkveld, Harm J, Hessel, Ellen V S

Volltext