( en | de | ru )

 

Disambiguierung von "Aoto, Takahito"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Improving Rewriting Induction Approach for Proving Ground Confluence.

, , und . FSCD, Volume 84 von LIPIcs, Seite 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

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.

Takahito Mori

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving Rewriting Induction Approach for Proving Ground Confluence., , und . FSCD, Volume 84 von LIPIcs, Seite 7:1-7:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Confluence Competition 2018., , , , , , , und . FSCD, Volume 108 von LIPIcs, Seite 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Argument Filterings and Usable Rules for Simply Typed Dependency Pairs., und . FroCoS, Volume 5749 von Lecture Notes in Computer Science, Seite 117-132. Springer, (2009)Correctness of Context-Moving Transformations for Term Rewriting Systems., , , und . LOPSTR, Volume 9527 von Lecture Notes in Computer Science, Seite 331-345. Springer, (2015)Termination of Rule-Based Calculi for Uniform Semi-Unification., und . LATA, Volume 7810 von Lecture Notes in Computer Science, Seite 56-67. Springer, (2013)Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation., , und . PPDP, Seite 13:1-13:14. ACM, (2019)Commutative Rational Term Rewriting., , und . LATA, Volume 12638 von Lecture Notes in Computer Science, Seite 200-212. Springer, (2021)Nominal Confluence Tool., und . IJCAR, Volume 9706 von Lecture Notes in Computer Science, Seite 173-182. Springer, (2016)Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables., und . LOPSTR, Volume 12561 von Lecture Notes in Computer Science, Seite 56-73. Springer, (2020)Position estimation of near point light sources using a clear hollow sphere., , , , und . ICPR, Seite 3721-3724. IEEE Computer Society, (2012)