( en | de | ru )

 

Disambiguierung von "Zantema, Hans"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dummy Elimination: Making Termination Easier.

, und . FCT, Volume 965 von Lecture Notes in Computer Science, Seite 243-252. Springer, (1995)

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.

Ana Hanstedt

Beurteilung der Entwicklungskompetenz boviner Oozyten aus Follikeln mit unterschiedlicher Durchblutung der Follikelwand. TierH Hannover, (2009)

Flemming Hansen

Standards in der sozialen Arbeit. Uni Kassel, (2009)

Patrick Hansen

Entwicklung eines energetischen Sanierungsmodells für den europäischen Wohngebäudesektor unter dem Aspekt der Erstellung von Szenarien für Energie- und Co_1tn2-Einsparpotenziale bis 2030. Uni Siegen, (2009)

Werner Hänsel

Werner Hansmeier

 

Weitere Publikationen von Autoren mit dem selben Namen

Finding DFAs with maximal shortest synchronizing word length., und . CoRR, (2016)Complexity of Guided Insertion-Deletion in RNA-Editing.. LATA, Volume 6031 von Lecture Notes in Computer Science, Seite 608-619. Springer, (2010)Degrees of Undecidability in Rewriting, , und . CoRR, (2009)Proving Looping and Non-Looping Non-Termination by Finite Automata., und . CoRR, (2015)Dummy Elimination: Making Termination Easier., und . FCT, Volume 965 von Lecture Notes in Computer Science, Seite 243-252. Springer, (1995)Transforming Termination by Self-Labelling., , und . CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 373-387. Springer, (1996)Triangulation in Rewriting., und . RTA, Volume 15 von LIPIcs, Seite 240-255. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Termination of Term Rewriting by Semantic Labelling.. Fundam. Informaticae, 24 (1/2): 89-105 (1995)Strategy Independent Reduction Lengths in Rewriting and Binary Arithmetic. WRS, Volume 82 von EPTCS, Seite 69-76. (2011)Termination Modulo Equations by Abstract Commutation with an Application to Iteration., und . Theor. Comput. Sci., 177 (2): 407-423 (1997)