Jump to main content

yr 〜
yr

Search results 16

Concrete semantics : with Isabelle/HOL

Concrete semantics : with Isabelle/HOL
Paper図書
Tobias Nipkow, Gerwin KleinSpringerc2014
Other Libraries in Japan
  • Author HeadingNipkow, Tobias Klein, Gerwin

Software safety and security : tools for analysis and verification print

Software safety and security : tools for analysis and verification print
Paper図書
edited by Tobias Nipkow, Orna Grumberg and Benedikt HauptmannIOS Pressc2012
Other Libraries in Japan
  • Author Heading...zell, Germany) Nipkow, Tobias Grumberg, Orna Hauptmann, Ben...

FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings

FM 2006 : Formal Methods : 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006 : proceedings
Paper図書
Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingFM Misra, Jayadev Nipkow, Tobias Sekerinski, E. (Emil)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)

Software safety and security : tools for analysis and verification : NATO Advanced Study Institute on tools for analysis and verification of software safety and security : Marktoberdorf PhD summer school : Aug 2011, Bayrischzell, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 33)
Paper図書
IOS Pressc2012.<M17-13-420>
National Diet Library
  • Author Heading...zell, Germany) Nipkow, Tobias, 1958- Grumberg, Orna. Hauptm...

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009 : Munich, Germany, August 17-20, 2009 : proceedings. : Aug 2009, Munich, Germany. (Lecture Notes in Computer Science ; 5674)

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009 : Munich, Germany, August 17-20, 2009 : proceedings. : Aug 2009, Munich, Germany. (Lecture Notes in Computer Science ; 5674)
Paper図書
Springerc2009.<M17-10-1697>
National Diet Library
  • Author Heading...Volume Editor. Nipkow, Tobias Volume Editor. Urban, Christi...

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

Isabelle/HOL : a proof assistant for higher-order logic
Paper図書
Tobias Nipkow, Lawrence C. Paulson, Markus WenzelSpringerc2002
Other Libraries in Japan
  • Author HeadingNipkow, Tobias Paulson, Lawrence C. Wenzel, ...

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings
Paper図書
Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingIJCAR Goré, Rajeev Leitsch, Alexander Nipkow, Tobias

Term rewriting and all that 1st paperback ed.

Term rewriting and all that 1st paperback ed.
Paper図書
Franz Baader and Tobias NipkowCambridge University Press1999
Other Libraries in Japan
  • Author HeadingBaader, Franz Nipkow, Tobias

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)

Formal logical methods for system security and correctness. : NATO Advanced Study Institute on formal logical methods for system security and correctness : summer school 2007 on formal logical methods for system security and correctness : 28th international summer school at Marktoberdorf : Jul 2007, Marktoberdorf, Germany. (NATO Science for Peace and Security Series. Series D, Information and Communication Security ; 14)
Paper図書
IOS Pressc2008.<M17-09-577>
National Diet Library
  • Author HeadingGrumberg, Orna. Nipkow, Tobias, 1958- Pfaller, Christian. NA...

Term rewriting and all that

Term rewriting and all that
Paper図書
Franz Baader and Tobias NipkowCambridge University Press1998
Other Libraries in Japan
  • Author HeadingBaader, Franz Nipkow, Tobias

Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings

Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
Paper図書
Tobias Nipkow (ed.)Springerc1998
Other Libraries in Japan
  • Author HeadingNipkow, Tobias International Conference on R...

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)

Automated reasoning : first international joint conference, IJCAR 2001 : Siena, Italy, June 18-22, 2001 : proceedings. : Jun 2001, Siena, Italy. (Lecture Notes in Computer Science ; 2083. Lecture Notes in Artificial Intelligence)
Paper図書
Springer2001.<M17-03-4721>
National Diet Library
  • Author HeadingGoré, Rajeev. Leitsch, Alexander, 1952- Nipkow, Tobias, 1958- IJCAR 2001 (2001 : Sie...

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)
Paper図書
Springerc2006.<M17-06-3028>
National Diet Library
  • Author Heading...isra, Jayadev. Nipkow, Tobias, 1958- Sekerinski, E. (Emil) ...

Isabelle : a generic theorem prover : gw : us

Isabelle : a generic theorem prover : gw : us
Paper図書
Lawrence C. Paulson ; with contributions by Tobias NipkowSpringer-Verlagc1994
Other Libraries in Japan
  • Author HeadingPaulson, Lawrence C. Nipkow, Tobias

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers : gw : us

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers : gw : us
Paper図書
Henk Barendregt, Tobias Nipkow, (eds.)Springer-Verlagc1994
Other Libraries in Japan
  • Author HeadingInternational Workshop on TYPES Barendregt, H. P. (Hendrik Pieter) Nipkow, Tobias

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Hank Barendregt, Tobias Nipkow, eds. (Lecture notes in computer science)

Types for proofs and programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / Hank Barendregt, Tobias Nipkow, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1994.<M15-A9226>
National Diet Library
  • Author Heading...endrik Pieter) Nipkow, Tobias, 1958-

Reached to the end of result.

RSS