( en | de | ru )

 

Disambiguation of "Zantema, Hans"

Author of the publication

copydeleteadd this publication to your clipboard
Termination Modulo Equations by Abstract Commutation with an Application to Iteration.

, and . Theor. Comput. Sci., 177 (2): 407-423 (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

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