( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transfinite Reductions in Orthogonal Term Rewriting Systems

, , , и . Inf. Comput., 119 (1): 18-38 (мая 1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jan Vries

Jan Vries

Ulrike de Vries

Gerhard de Vries

Claudia de Vries

 

Другие публикации лиц с тем же именем

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