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
32
views
9
references
Top references
cited by
39
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,195
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
The foundation of a generic theorem prover
Author(s):
Lawrence C. Paulson
Publication date
Created:
September 1989
Publication date
(Print):
September 1989
Journal:
Journal of Automated Reasoning
Publisher:
Springer Nature
Read this article at
ScienceOpen
Publisher
Further versions
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH title and first author match)
oa repository (via OAI-PMH doi match)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Groundings: The Journal of the Walter Rodney Foundation
Most cited references
9
Record
: found
Abstract
: not found
Article
: not found
The calculus of constructions
Thierry Coquand
,
Gérard Huet
(1988)
0
comments
Cited
99
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A unification algorithm for typed λ-calculus
G.P. Huet
(1975)
0
comments
Cited
50
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Ideas and Results in Proof Theory
Dag Prawitz
(1971)
0
comments
Cited
47
times
– based on
0
reviews
Bookmark
All references
Author and article information
Journal
Title:
Journal of Automated Reasoning
Abbreviated Title:
J Autom Reasoning
Publisher:
Springer Nature
ISSN (Print):
0168-7433
ISSN (Electronic):
1573-0670
Publication date Created:
September 1989
Publication date (Print):
September 1989
Volume
: 5
Issue
: 3
Pages
: 363-397
Article
DOI:
10.1007/BF00248324
SO-VID:
2bfe04e4-0b99-4dd1-b303-fd8fe02ae7b3
Copyright ©
© 1989
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
1,195
Theorem prover approach to semistructured data design
Authors:
Scott S. Lee
,
Gillian Dobbie
,
Jing Sun
…
Dr Doodle A Diagrammatic Theorem Prover
Authors:
Daniel Winterstein
,
Alan Bundy
,
Corin Gurr
TeMP A Temporal Monodic Prover
Authors:
Ullrich Hustadt
,
Boris Konev
,
Alexandre Riazanov
…
See all similar
Cited by
39
Forum: A multiple-conclusion specification logic
Authors:
Dale Miller
Type classes and overloading in higher-order logic
Authors:
Markus Wenzel
Set theory for verification: I. From foundations to functions
Authors:
Lawrence Paulson
See all cited by
Most referenced authors
26
Lawrence C. Paulson
Thierry Coquand
Thierry Coquand
See all reference authors