Walter Guttmann
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 37
Publications (10 Years): 37
University of Ulm, Germany (PHD)
Education History
University of Ulm, Germany
PHD
Publications
- Walter Guttmann
- Hitoshi Furusawa, Walter Guttmann, Georg Struth
- Walter Guttmann
- Hitoshi Furusawa, Walter Guttmann, Georg Struth
- Hitoshi Furusawa, Walter Guttmann, Georg Struth
- Roland Backhouse, Walter Guttmann, Michael Winter
- Walter Guttmann
- Walter Guttmann, Georg Struth
- Hitoshi Furusawa, Walter Guttmann
- Walter Guttmann
- Hitoshi Furusawa, Walter Guttmann, Georg Struth
- Walter Guttmann
- Walter GuttmannRelational Forests. Arch. Formal Proofs 2021 (2021)
- Walter Guttmann
- Walter Guttmann, Peter Höfner
- Walter Guttmann
- Walter Guttmann, Bernhard Möller
- Walter GuttmannRelational Disjoint-Set Forests. Arch. Formal Proofs 2020 (2020)
- Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
- Walter Guttmann, Bernhard Möller
- Walter Guttmann
- Walter Guttmann, Nicolas Robinson-O'Brien
- Walter Guttmann
- Walter Guttmann
- Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner
- Walter Guttmann
- Walter GuttmannAggregation Algebras. Arch. Formal Proofs 2018 (2018)
- Rudolf Berghammer, Walter Guttmann
- Walter GuttmannStone Relation Algebras. Arch. Formal Proofs 2017 (2017)
- Walter GuttmannStone-Kleene Relation Algebras. Arch. Formal Proofs 2017 (2017)
- Walter Guttmann
- Walter GuttmannStone Algebras. Arch. Formal Proofs 2016 (2016)
- Walter Guttmann
- Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth, Tjark WeberKleene Algebras with Domain. Arch. Formal Proofs 2016 (2016)
- Walter Guttmann
- Walter Guttmann
- Rudolf Berghammer, Walter Guttmann
- Rudolf Berghammer, Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann, Georg Struth, Tjark Weber
- Walter Guttmann, Georg Struth, Tjark Weber
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann, Bernhard Möller
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann
- Walter Guttmann, Markus Maucher
- Stefan Sarstedt, Walter Guttmann
- Walter Guttmann, Bernhard Möller
- Walter Guttmann