PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Guttmann, Walter"

Author of the publication

copydeleteadd this publication to your clipboard
Variations on an Ordering Theme with Constraints.

, and . IFIP TCS, volume 209 of IFIP, page 77-90. Springer, (2006)

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.

Walter Ganz University of Stuttgart

Prof. Dr. -Ing. Walter Schönwandt University of Stuttgart

J Walter

Walter König University of Stuttgart

Univ. -Prof. Dr. Walter Göbel University of Stuttgart

 

Other publications of authors with the same name

An algebraic framework for minimum spanning tree problems.. Theor. Comput. Sci., (2018)Variations on an Ordering Theme with Constraints., and . IFIP TCS, volume 209 of IFIP, page 77-90. Springer, (2006)A Repository for Tarski-Kleene Algebras., , and . ATE, volume 760 of CEUR Workshop Proceedings, page 30-39. CEUR-WS.org, (2011)Relation-Algebraic Verification of Prim's Minimum Spanning Tree Algorithm.. ICTAC, volume 9965 of Lecture Notes in Computer Science, page 51-68. (2016)Towards a Typed Omega Algebra.. RAMICS, volume 6663 of Lecture Notes in Computer Science, page 196-211. Springer, (2011)General Correctness Algebra.. RelMiCS, volume 5827 of Lecture Notes in Computer Science, page 150-165. Springer, (2009)Unifying Lazy and Strict Computations.. RAMICS, volume 7560 of Lecture Notes in Computer Science, page 17-32. Springer, (2012)Partial, Total and General Correctness.. MPC, volume 6120 of Lecture Notes in Computer Science, page 157-177. Springer, (2010)Typing theorems of omega algebra.. J. Log. Algebr. Program., 81 (6): 643-659 (2012)Algebras for correctness of sequential computations.. Sci. Comput. Program., (2014)