( en | de | ru )

 

Disambiguierung von "de Vries, Fer-Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Transfinite Reductions in Orthogonal Term Rewriting Systems

, , , und . Inf. Comput., 119 (1): 18-38 (Mai 1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jan Vries

Jan Vries

Ulrike de Vries

Gerhard de Vries

Claudia de Vries

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Adequacy of Graph Rewriting for Simulating Term Rewriting., , , und . ACM Trans. Program. Lang. Syst., 16 (3): 493-523 (1994)Dynamic Interpretation and Hoare Deduction., und . J. Log. Lang. Inf., 1 (1): 1-44 (1992)The infinitary lambda calculus of the infinite eta Böhm trees., und . Math. Struct. Comput. Sci., 27 (5): 681-733 (2017)Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract)., , , und . RTA, Volume 488 von Lecture Notes in Computer Science, Seite 1-12. Springer, (1991)Infinitary Lambda Calculus., , , und . Theor. Comput. Sci., 175 (1): 93-125 (1997)Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus., und . WoLLIC, Volume 6642 von Lecture Notes in Computer Science, Seite 210-227. Springer, (2011)Meaningless Terms in Rewriting., , und . J. Funct. Log. Program., (1999)Types for trees., , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 11-29. Chapman & Hall, (1998)Transfinite Reductions in Orthogonal Term Rewriting Systems, , , und . Inf. Comput., 119 (1): 18-38 (Mai 1995)Meaningless Terms in Rewriting., , und . ALP, Volume 1139 von Lecture Notes in Computer Science, Seite 254-268. Springer, (1996)