Tobias Nipkow – författare
Visar alla böcker från författaren Tobias Nipkow. Handla med fri frakt och snabb leverans.
20 produkter
Term Rewriting and All That
Av Franz Baader, Tobias Nipkow
Häftad, 1999
955 kr
Lägg i varukorg
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, …
Term Rewriting and All That
Av Tobias Nipkow, Franz Baader
E-bok, 1999
940 kr
Lägg i varukorg
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, …
Term Rewriting and All That
Av Tobias Nipkow, Franz Baader
E-bok, 1999
920 kr
Lägg i varukorg
This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, …
Concrete Semantics
With Isabelle/HOL
Av Tobias Nipkow, Gerwin Klein
Inbunden, 2014
904 kr
Lägg i varukorg
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of …
Concrete Semantics
With Isabelle/HOL
Av Gerwin Klein, Tobias Nipkow
E-bok, 2014
839 kr
Lägg i varukorg
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of …
Concrete Semantics
With Isabelle/HOL
Av Tobias Nipkow, Gerwin Klein
Häftad, 2016
646 kr
Lägg i varukorg
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of …
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Jayadev Misra, Tobias Nipkow m. fl.
Häftad, 2006
1128 kr
Lägg i varukorg
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized …
FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings
Av Emil Sekerinski, Tobias Nipkow m. fl.
E-bok, 2006
1502 kr
Lägg i varukorg
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Rajeev Gore, Alexander Leitsch m. fl.
Häftad, 2001
1128 kr
Lägg i varukorg
The last ten years have seen a gradual fragmentation of the Automated Reas- ing community into various disparate groups, each with its own conference: the Conference on Automated Reasoning (CADE), the International Workshop on First-Order Theorem Proving (FTP), and the International Conference on - …
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Tobias Nipkow, Lawrence C. Paulson m. fl.
Häftad, 2002
660 kr
Lägg i varukorg
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic …
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Av Tobias Nipkow, Alexander Leitsch m. fl.
E-bok, 2003
1427 kr
Lägg i varukorg
Isabelle/HOL
A Proof Assistant for Higher-Order Logic
Av Markus Wenzel, Lawrence C. Paulson m. fl.
E-bok, 2003
815 kr
Lägg i varukorg
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic …
Types for Proofs and Programs
International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Av Henk Barendregt, Tobias Nipkow
Häftad, 1994
551 kr
Lägg i varukorg
This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume …
Higher-Order Algebra, Logic, and Term Rewriting
First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Av Jan Heering, Karl Meinke m. fl.
Häftad, 1994
568 kr
Lägg i varukorg
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming …
Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
Häftad, 1998
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with …
Rewriting Techniques and Applications
9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings
E-bok, 2006
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998. The 22 revised full papers presented were carefully selected from a total of 61 submissions by the program committee with …
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Av Stefan Berghofer, Tobias Nipkow m. fl.
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were …
Theorem Proving in Higher Order Logics
22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings
Av Makarius Wenzel, Christian Urban m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were …
Functional Data Structures and Algorithms
A Proof Assistant Approach
Av Tobias Nipkow, Tobias Nipkow
Inbunden, 2025
869 kr
Lägg i varukorg
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew …
Functional Data Structures and Algorithms
A Proof Assistant Approach
Av Tobias Nipkow, Tobias Nipkow
Häftad, 2025
639 kr
Lägg i varukorg
This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew …
