Dance of the starlings

Autor: Barendregt, H., Endrullis, J., Klop, J., Waldmann, J., Fitting, M., Rayman, B.

Publikováno v: Fitting, M.; Rayman, B. (ed.), Raymond Smullyan on Self-reference, pp. 67-111
Outstanding Contributions to Logic, 67-111. Cham : Springer
STARTPAGE=67;ENDPAGE=111;TITLE=Outstanding Contributions to Logic
Raymond Smullyan on Self Reference ISBN: 9783319687315

In this birdwatching paper our binoculars are focused upon a particular bird from Smullyan’s enchanted forest of combinatory birds (Smullyan in To Mock a Mockingbird, and other logic puzzles. Alfred A. Knopf, New York, 1985), to wit the Starling. I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12352deca456914f56d6e68781a22cd0
https://hdl.handle.net/2066/199860

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

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

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

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