( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Proving operational termination of membership equational programs.

, , , , и . High. Order Symb. Comput., 21 (1-2): 59-88 (2008)

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.

Michael Salvador

Salvador Herrador

Salvador Oberhaus

Salvador Fernandes

Salvador Millaleo

 

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

Termination of Context-Sensitive Rewriting by Rewriting.. ICALP, том 1099 из Lecture Notes in Computer Science, стр. 122-133. Springer, (1996)mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting.. RTA, том 3091 из Lecture Notes in Computer Science, стр. 200-209. Springer, (2004)mu-term: Verify Termination Properties Automatically (System Description)., и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 436-447. Springer, (2020)Strong and NV-sequentiality of constructor systems.. Inf. Process. Lett., 89 (4): 191-201 (2004)Completeness of context-sensitive rewriting.. Inf. Process. Lett., 115 (2): 87-92 (2015)On-demand strategy annotations revisited: An improved on-demand evaluation strategy., , , и . Theor. Comput. Sci., 411 (2): 504-541 (2010)Operational termination of conditional term rewriting systems., , и . Inf. Process. Lett., 95 (4): 446-453 (2005)Termination of On-Demand Rewriting and Termination of OBJ Programs.. PPDP, стр. 82-93. ACM, (2001)Polynomials over the reals in proofs of termination: from theory to practice.. RAIRO Theor. Informatics Appl., 39 (3): 547-586 (2005)Redundancy Analyses in Term Rewriting., , и . WFLP, стр. 309-323. (2000)