Zobrazeno 1 - 10 of 14 pro vyhledávání: '"Klop, J. W."'
1
Akademický článek
Termination for direct sums of left-linear complete term rewriting systems.
Autor: Toyama, Y., Klop, J. W., Barendregt, H. P.
Publikováno v: Journal of the ACM; Nov1995, Vol. 42 Issue 6, p1275-1304, 30p
Zobrazit plný text záznamu
2
Akademický článek
Decidability of bisimulation equivalence for process generating context-free languages.
Autor: Baeten, J. C. M., Bergstra, J. A., Klop, J. W.
Publikováno v: Journal of the ACM; Jul1993, Vol. 40 Issue 3, p653-682, 30p
Zobrazit plný text záznamu
4
Elektronická kniha
Term Rewriting Systems
Autor: Klop, J. W.
Publikováno v: Handbook of Logic in Computer Science.
Externí odkaz: https://doi.org/10.1093/oso/9780198537618.003.0001
Zobrazit plný text záznamu
5
Akademický článek
Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator.
Autor: Baeten, J. C. M., Bergstra, J. A., Klop, J. W.
Publikováno v: Computer Journal; 1987, Vol. 30 Issue 6, p498-506, 9p
Zobrazit plný text záznamu
6
Akademický článek
On the adequacy of graph rewriting for simulating term rewriting.
Autor: Kennaway, J. R., Klop, J. W., Sleep, M. R., de Vries, F. J.
Publikováno v: ACM Transactions on Programming Languages & Systems; May1994, Vol. 16 Issue 3, p493-523, 31p
Zobrazit plný text záznamu
7
Periodical
Infinitary lambda calculus
Autor: Kennaway, J. R., Klop, J. W., Sleep, M. R., Vries, F. J. De
Publikováno v: Theoretical Computer Science; 1997, Vol. 175 Issue: 1 p93-126, 34p
Zobrazit plný text záznamu
9
Kniha
Origin tracking in term rewriting.
Autor: Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Nipkow, Tobias, Klop, J. W.
Publikováno v: Rewriting Techniques & Applications; 1998, p1-1, 1p
Zobrazit plný text záznamu
10
Periodical
Combinatory reduction systems: introduction and survey
Autor: Klop, J. W., Oostrom, V. Van, Raamsdonk, F. Van
Publikováno v: Theoretical Computer Science; 1993, Vol. 121 Issue: 1 p279-279, 1p
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje