Languages
Nipkow, Tobias.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Isabelle/HOL = a proof assistant for higher-order logic /
by:
SpringerLink (Online service); Nipkow, Tobias.; Paulson, Lawrence C.; Wenzel, Markus.
(Language materials, printed)
Rewriting techniques and applications = 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998 : proceedings /
by:
Nipkow, Tobias.; SpringerLink (Online service); International Conference on Rewriting Techniques and Applications (1998 :)
(Language materials, printed)
Automated reasoning = First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings /
by:
Gore, Rajeev.; Nipkow, Tobias.; SpringerLink (Online service); IJCAR 2001 ((2001 :); Leitsch, Alexander.
(Language materials, printed)
Concrete semantics = with Isabelle/HOL /
by:
Nipkow, Tobias.; SpringerLink (Online service); Klein, Gerwin.
(Electronic resources)
Subjects
Rewriting systems (Computer science)
Computer logic.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms
Automatic theorem proving
Computer programming
Logic design.
Programming Languages, Compilers, Interpreters.
Computer logic- Congresses.
Automatic theorem proving.
Computer science.