( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples.

, , , , и . Log. Methods Comput. Sci., (2014)

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.

Vincent van Laak

Huynh Van Van

Vincent Tejedor

Vincent Kuhn

Vincent Saderne

 

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

Uniform Normalisation beyond Orthogonality., , и . RTA, том 2051 из Lecture Notes in Computer Science, стр. 122-136. Springer, (2001)Nested Term Graphs., и . TERMGRAPH, том 183 из EPTCS, стр. 48-65. (2014)Normalisation in Weakly Orthogonal Rewriting.. RTA, том 1631 из Lecture Notes in Computer Science, стр. 60-74. Springer, (1999)Developing Developments.. Theor. Comput. Sci., 175 (1): 159-181 (1997)Combinatory Reduction Systems: Introduction and Survey., , и . Theor. Comput. Sci., 121 (1&2): 279-308 (1993)Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems., , и . Inf. Comput., 164 (1): 118-151 (2001)Context-sensitive conditional expression reduction systems., и . SEGRAGRA, том 2 из Electronic Notes in Theoretical Computer Science, стр. 167-176. Elsevier, (1995)Iterative Lexicographic Path Orders., , и . Essays Dedicated to Joseph A. Goguen, том 4060 из Lecture Notes in Computer Science, стр. 541-554. Springer, (2006)Confluence by Critical Pair Analysis Revisited (Extended Version)., , , и . CoRR, (2019)Higher-Order Families.. RTA, том 1103 из Lecture Notes in Computer Science, стр. 392-407. Springer, (1996)