Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Looping and Non-Looping Non-Termination by Finite Automata., und . CoRR, (2015)Degrees of Undecidability in Rewriting, , und . CoRR, (2009)A PBPO+ Graph Rewriting Tutorial., und . TERMGRAPH@FSCD, Volume 377 von EPTCS, Seite 45-63. (2022)Syllogistic logic with "Most"., und . Math. Struct. Comput. Sci., 29 (6): 763-782 (2019)Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples., , , , und . Log. Methods Comput. Sci., (2014)Algebraic Presentation of Semifree Monads., , und . CMCS, Volume 13225 von Lecture Notes in Computer Science, Seite 110-132. Springer, (2022)Undecidability and Finite Automata., , und . DLT, Volume 10396 von Lecture Notes in Computer Science, Seite 160-172. Springer, (2017)Complexity of Fractran and Productivity., , und . CADE, Volume 5663 von Lecture Notes in Computer Science, Seite 371-387. Springer, (2009)Productivity of Stream Definitions., , , , und . FCT, Volume 4639 von Lecture Notes in Computer Science, Seite 274-287. Springer, (2007)Characterisation of Lawvere-Tierney Topologies on Simplicial Sets, Bicolored Graphs, and Fuzzy Sets., , und . CoRR, (2024)