1. Home
  2. Computer
  3. Computer Science
  4. Nipkow, Tobias

Computer · Computer Science

Nipkow, Tobias

Listed in the directory · updated 21 Jul 2022

Visit website

Find them on

Share

About Nipkow, Tobias

Nipkow, Tobias- Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.

Tags

I

Where it sits

Computer Computer Science

More in Computer Science

See all →