( en | de | ru )

 

Disambiguierung von "Lucas, Salvador"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Operational termination of conditional term rewriting systems.

, , und . Inf. Process. Lett., 95 (4): 446-453 (2005)

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.

Michael Salvador

Salvador Herrador

Salvador Oberhaus

Salvador Fernandes

Salvador Olivé

 

Weitere Publikationen von Autoren mit dem selben Namen

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