Skip to contents

Nipkow, Tobias [Editor] ; RTA 9 1998 Tsukuba

Rewriting techniques and applications : 9th international conference ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1998

Published in: Lecture notes in computer science ; 1379
Nipkow, Tobias [Author]; Klein, Gerwin [Author]

Concrete semantics : with Isabelle/HOL

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham; Heidelberg; New York: Springer, [2014]
Baader, Franz [Author]; Nipkow, Tobias [Author]

Term rewriting and all that - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1998
Baader, Franz [Author]; Nipkow, Tobias [Author]

Term rewriting and all that - [1st paperback edition]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge; New York; Melbourne; Madrid; Cape Town: Cambridge University Press, 1999
Nipkow, Tobias [Author]; Paulson, Lawrence C. [Author]; Wenzel, Markus [Author]

Isabelle/HOL : a proof assistant for higher-order logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2283
Berghofer, Stefan [Editor]; Nipkow, Tobias [Other]; Urban, Christian [Other]; Wenzel, Makarius [Other] ; TPHOLs 22 2009 München

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5674
Nipkow, Tobias [Author] ; Tobias Nipkow [Contributor]

Verified Analysis of Functional Data Structures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Paulson, Lawrence C. [Author] ; Nipkow, Tobias [Other]

Isabelle : a generic theorem prover

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1994 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 82800
Barendregt, Hendrik P. [Author] ; Nipkow, Tobias [Other]

Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1994

Published in: Lecture notes in computer science ; 806
Eberl, Manuel [Author] ; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; Dahmen, Sander R. [Other]

Asymptotic Reasoning in a Proof Assistant

View online
Schließen

Access

https://d-nb.info/1228536139/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2021
Haslbeck, Maximilian Paul Louis [Author] ; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; Hoffmann, Jan [Other]

Verified Quantitative Analysis of Imperative Algorithms

View online
Schließen

Access

https://d-nb.info/1246004445/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2021
Hupel, Lars [Author] ; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; Myreen, Magnus [Other]

Verified Code Generation from Isabelle/HOL

View online
Schließen

Access

https://d-nb.info/1191897230/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2019
Immler, Fabian [Author] ; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; Tucker, Warwick [Other]

A Verified ODE Solver and Smale's 14th Problem

View online
Schließen

Access

https://d-nb.info/1163013404/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2018
Noschinski, Lars [Author] ; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; Mehlhorn, Kurt [Other]

Formalizing Graph Theory and Planarity Certificates

View online
Schließen

Access

https://d-nb.info/1104933624/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2016
Kunčar, Ondřej [Author] ; Nipkow, Tobias [Degree supervisor]; Nipkow, Tobias [Other]; Paulson, Lawrence C. [Other]

Types, Abstraction and Parametric Polymorphism in Higher-Order Logic

View online
Schließen

Access

https://d-nb.info/1106382153/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2016
Nipkow, Tobias [Author] ; Paulson, Lawrence C. [Other]; Wenzel, Markus [Other]

Isabelle/HOL : A Proof Assistant for Higher-Order Logic

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

Published in: Lecture notes in computer science ; 2283
Nipkow, Tobias [Author]

Rewriting Techniques and Applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1379
Traytel, Dmytro [Author] ; Nipkow, Tobias [Degree supervisor]; Silva, Alexandra [Degree supervisor]

Formalizing Symbolic Decision Procedures for Regular Languages

View online
Schließen

Access

https://d-nb.info/107932402X/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2015
Blanchette, Jasmin [Author] ; Nipkow, Tobias [Degree supervisor]; Claessen, Koen [Degree supervisor]

Automatic Proofs and Refutations for Higher-Order Logic

View online
Schließen

Access

https://d-nb.info/1024354997/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2012
Bulwahn, Lukas [Author] ; Nipkow, Tobias [Degree supervisor]; Runciman, Colin [Degree supervisor]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming

View online
Schließen

Access

https://d-nb.info/1033891142/34

More information on the full text (kostenfrei)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2013

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication