Prof.dr. J.W. Klop

Pagina-navigatie:

filter results

Type

Date

Accessibility

Institution

NWO (127)

1-10 out of 127 results by:date

Save search results

Typography in process algebra (2011)Open access

Authors: Baeten, J.C.M.; Klop, J.W.; Heijden, van der M.; Koren, B.; Mei, van der R.D.; Vonderen, van J.A.J.
Reflections on a geometry of processes (2006)

Authors: Grabmayer, C.A.; Klop, J.W.; Luttik, S.P.
Some Remarks on Definability of Process Graphs (2006)

Author: Klop, J.W.
Computing with actions and communications (2006)

Authors: Fokkink, W.J.; Klop, J.W.
In: Bulletin of the Belgian Mathematical Society Simon Stevin, 13, 789 - 905. Société Mathématique de Belgique. ISSN 1370-1444.
Some Remarks on Definability of Process Graphs (2006)

Authors: Grabmayer, C.A.; Klop, J.W.; Luttik, S.P.
Iterative Lexicographic Path Orders, in Algebra, Meaning and Computation: Essays dedicated to Joseph A. Goguen on the occasion of his 65th Birthday (2006)

Authors: Klop, J.W.; Oostrom, van V.; Vrijer, de R.; Kokichi Futatsugi, J.M.; et al,
Infinitary normalization (2005)Open access

Authors: Klop, J.W.; Vrijer, de R.

Abstract:
In infinitary orthogonal first-order term rewriting the properties confluence (CR), Uniqueness of Normal forms (UN), Parallel Moves Lemma (PML) have been generalized to their infinitary versions CR-inf, UN-inf, PML-inf, and so on. Several relations between these properties have been established in t
Rekenen met acties en communicaties (2005)

Author: Klop, J.W.
Reflections on a geometry of processes (2005)

Authors: Grabmayer, C.A.; Klop, J.W.; Luttik, S.P.; Aceto, L.; Gordon, A.D.
Vicious circles in orthogonal term rewriting systems (2005)

Authors: Ketema, J.; Klop, J.W.; Oostrom, van V.
In: Electronic Notes in Theoretical Computer science, 124(2), 65 - 77. Elsevier. ISSN 1571-0661.

Abstract:
In this paper we first study the difference between Weak Normalization (WN) and Strong Normalization (SN), in the framework of first order orthogonal rewriting systems. With the help of the Erasure Lemma we establish a Pumping Lemma, yielding information about exceptional terms, defined as terms tha

Authors:	Baeten, J.C.M.; Klop, J.W.; Heijden, van der M.; Koren, B.; Mei, van der R.D.; Vonderen, van J.A.J.

Authors:	Grabmayer, C.A.; Klop, J.W.; Luttik, S.P.

Author:	Klop, J.W.

Authors:	Fokkink, W.J.; Klop, J.W.
In:	Bulletin of the Belgian Mathematical Society Simon Stevin, 13, 789 - 905. Société Mathématique de Belgique. ISSN 1370-1444.

Authors:	Grabmayer, C.A.; Klop, J.W.; Luttik, S.P.

Authors:	Klop, J.W.; Oostrom, van V.; Vrijer, de R.; Kokichi Futatsugi, J.M.; et al,

Authors:	Klop, J.W.; Vrijer, de R.

Author:	Klop, J.W.

Authors:	Grabmayer, C.A.; Klop, J.W.; Luttik, S.P.; Aceto, L.; Gordon, A.D.

Authors:	Ketema, J.; Klop, J.W.; Oostrom, van V.
In:	Electronic Notes in Theoretical Computer science, 124(2), 65 - 77. Elsevier. ISSN 1571-0661.

Pages:

previous

<< < 1 2 3 4 5 6 7 8 9 10 > >>

Prof.dr. J.W. Klop

1-10 out of 127 results by:date

Abstract:

Abstract: