English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
A structure preserving encoding of Z in Isabelle/HOL1
Details
Full
Export
Statistics
Options
1996
Conference Paper
Titel
A structure preserving encoding of Z in Isabelle/HOL1
Author(s)
Kolyang, T.
Santen, T.
Wolff, B.
Hauptwerk
Theorem proving in higher order logics
Konferenz
International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 1996
Language
English
google-scholar
View Details
FIRST
