Web Directory

    Top: Computers: Computer_Science: People: N:

 

Nipkow, Tobias

  Link Details for: Nipkow, Tobias
Link Title: Nipkow, Tobias Open in a new window
Link URL: http://isabelle.in.tum.de/~nipkow/
Link Details: Technische Universität München - Automatic and interactive theorem proving, formal verification, formalizing programming languages, type systems, semantics, rewriting and unification, lambda-calculus.
Category: Top : Computers : Computer_Science : People : N
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Nipkow, Tobias