Monika Seisenberger und Markus - Info zur Person

(1 - 7 von 9

)

Types for Proofs and Programs: International Workshop, TYPES '98,...

books.google.fi

... Reus Eike Ritter Giovanni Sambin Monika Seisenberger Anton Setzer Jan Smith Sergei Soloview Makoto Takeyama Silvio Valentini Markus Wenzel Benjamin ...

Types for Proofs and Programs: International Workshop, TYPES ...books.google.ae › books

books.google.ae

... Sambin Monika Seisenberger Anton Setzer Jan Smith Sergei Soloview Makoto Takeyama Silvio Valentini Markus Wenzel Benjamin Werner List of Referees.

Science of Computer Programming | Formal Techniques for...

www.sciencedirect.com

Original research article: Pages Ulrich Berger, Phillip James, Andrew Lawrence, Markus Roggenbach, Monika Seisenberger. Download PDF.

Anton Setzer - Google Scholar Citations

scholar.google.at

KoautorenAlle anzeigen… Peter Dybjer,; Andreas Abel,; Brigitte Pientka,; Fredrik Nordvall Forsberg,; Peter Clote,; Markus Roggenbach,; Monika Seisenberger, ...