×

zbMATH — the first resource for mathematics

Found 5 Authors (Results 1–5)

Hofmann, Martin

Published as:   Hofmann, Martin
Documents: 6 Publications indexed (1955–2018)
Co-Authors:
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)

Hofmann, Martin

Published as:   Hofmann, M.; Hofmann, Martin
Documents: 87 Publications indexed (1995–2018)
Co-Authors: Beringer, Lennart; Dal Lago, Ugo; Aspinall, David; ...
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)

Hofmann, Martin

Published as:   Hofmann, M.; Hofmann, Martin
Documents: 17 Publications indexed (1996–2018)
Co-Authors: Falk, Michael; Aulbach, Stefan; Zott, Maximilian; ...
Main Fields: Computer science (68-XX); Probability theory and stochastic processes (60-XX); Mathematical logic and foundations (03-XX); Quantum theory (81-XX)

Hofmann, Martin I.

Published as:   Hofmann, Martin; Hofmann, Martin I.
Documents: 6 Publications indexed (1987–2018)
Co-Authors:
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)

Hofmann, Martin O.

Published as:   Hofmann, Martin; Hofmann, Martin O.
Documents: 6 Publications indexed (1995–2018)
Co-Authors:
Main Fields: Computer science (68-XX)