ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
67
views
5
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,046
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
A theory of finite maps
other
Author(s):
Graham Collins
,
Donald Syme
Publication date
(Online):
June 2 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory
Most cited references
5
Record
: found
Abstract
: not found
Book Chapter
: not found
Automating Recursive Type Definitions in Higher Order Logic
Thomas F. Melham
(1989)
0
comments
Cited
18
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Reasoning with the formal definition of standard ML in HOL
Donald Syme
(1994)
0
comments
Cited
3
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Studying the ML module system in HOL
Savi Maharaj
,
Elsa Gunter
(1994)
0
comments
Cited
2
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1995
Publication date (Online):
June 2 2005
Pages
: 122-137
DOI:
10.1007/3-540-60275-5_61
SO-VID:
bcfea777-32b7-4810-b1d3-4129af86e1a4
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Mechanizing a π-calculus equivalence in HOL
pp. 17
Non-primitive recursive function definitions
pp. 32
Experiments with ZF set theory in HOL and Isabelle
pp. 46
Automatically synthesized term denotation predicates: A proof aid
pp. 58
On the refinement of symmetric memory protocols
pp. 75
Combining decision procedures in the HOL system
pp. 90
Deciding cryptographic protocol adequacy with HOL
pp. 106
A practical method for reasoning about distributed systems in a theorem prover
pp. 122
A theory of finite maps
pp. 138
Virtual theories
pp. 154
An automata theory dedicated towards formal circuit synthesis
pp. 170
Interfacing HOL90 with a functional database query language
pp. 186
Floating point verification in HOL
pp. 200
Inductive definitions: Automation and application
pp. 214
A formulation of TLA in Isabelle
pp. 229
Formal verification of serial pipeline multipliers
pp. 245
TkWinHOL: A tool for Window Inference in HOL
pp. 261
Formal verification of counterflow pipeline architecture
pp. 277
Deep embedding VHDL
pp. 293
HOLCF: Higher order logic of computable functions
pp. 308
A mechanized logic for secure key escrow protocol verification
pp. 324
A new interface for HOL — Ideas, issues and implementation
pp. 340
Very efficient conversions
pp. 353
Recording and checking HOL proofs
pp. 369
Formalization of planar graphs
pp. 385
A hierarchical method for reasoning about distributed programming languages
Similar content
2,046
Equation of state of zero-temperature quark matter with finite quark masses
Authors:
A. Vuorinen
Modeling the biomechanics of the mandible: a three-dimensional finite element study.
Authors:
R. Hart
,
V Hennebel
,
N Thongpreda
…
Kink plateau dynamics in finite-size lubricant chains
Authors:
Erio Tosatti
,
Marco Cesaratto
,
Nicola Manini
…
See all similar
Cited by
2
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
Authors:
Sunil Kothari
,
James Caldwell
Supporting Reasoning about Functional Programs: An Operational Approach
Authors:
Graham Collins
See all cited by