( 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)

Otto Hansen

Brunhilde Hansen

 

Weitere Publikationen von Autoren mit dem selben Namen

Deadlock in Packet Switching Networks., , und . FSEN, Volume 12818 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2021)Liveness in Rewriting., und . RTA, Volume 2706 von Lecture Notes in Computer Science, Seite 321-336. Springer, (2003)Simulating liveness by reduction strategies., und . WRS, Volume 86 von Electronic Notes in Theoretical Computer Science, Seite 641-656. Elsevier, (2003)A Transformational Approach to Prove Outermost Termination Automatically., und . WRS@RTA, Volume 237 von Electronic Notes in Theoretical Computer Science, Seite 3-21. Elsevier, (2008)Minimizing Sums of Addition Chains.. J. Algorithms, 12 (2): 281-307 (1991)Generalized Innermost Rewriting., und . RTA, Volume 3467 von Lecture Notes in Computer Science, Seite 2-16. Springer, (2005)Solving Computational Problems in the Theory of Word-Representable Graphs., , , und . J. Integer Seq., 22 (2): 19.2.5 (2019)Syntactical Analysis of Total Termination., und . ALP, Volume 850 von Lecture Notes in Computer Science, Seite 204-222. Springer, (1994)The Degree of Squares is an Atom., , , und . WORDS, Volume 9304 von Lecture Notes in Computer Science, Seite 109-121. Springer, (2015)Well-foundedness of Term Orderings., und . CTRS, Volume 968 von Lecture Notes in Computer Science, Seite 106-123. Springer, (1994)