PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Nipkow, Tobias"

Author of the publication

copydeleteadd this publication to your clipboard
Preface.

, , , and . J. Autom. Reasoning, 41 (3-4): 191-192 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tobias Menold University of Stuttgart

Tobias Rentschler University of Stuttgart

Tobias Schwinn University of Stuttgart

Tobias Eisenreich University of Stuttgart

Tobias Schlager University of Stuttgart

 

Other publications of authors with the same name

Majority Vote Algorithm Revisited Again.. Int. J. Software and Informatics, 5 (1-2): 21-28 (2011)Equational Reasoning in Isabelle.. Sci. Comput. Program., 12 (2): 123-149 (1989)Deduction and Arithmetic (Dagstuhl Seminar 13411)., , , and . Dagstuhl Reports, 3 (10): 1-24 (2013)Interactive Proof: Introduction to Isabelle/HOL.. Software Safety and Security, volume 33 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2012)Java Bytecode Verification.. J. Autom. Reasoning, 30 (3-4): 233 (2003)Formal Verification of Language-Based Concurrent Noninterference., , and . J. Formalized Reasoning, 6 (1): 1-30 (2013)Proof Pearl: Regular Expression Equivalence and Relation Algebra., and . J. Autom. Reasoning, 49 (1): 95-106 (2012)Purely Functional, Simple, and Efficient Implementation of Prim and Dijkstra., and . Archive of Formal Proofs, (2019)Treaps., , and . Archive of Formal Proofs, (2018)Skew Heap.. Archive of Formal Proofs, (2014)