Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
8
views
20
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,252
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Automated Deduction – CADE-20
Connecting Many-Sorted Theories
other
Author(s):
Franz Baader
,
Silvio Ghilardi
Publication date
(Print):
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
ScienceOpen Research
Most cited references
20
Record
: found
Abstract
: not found
Article
: not found
Simplification by Cooperating Decision Procedures
Greg Nelson
,
Derek Oppen
(1979)
0
comments
Cited
102
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
First Order Categorical Logic
Michael Makkai
,
Gonzalo E. Reyes
(1977)
0
comments
Cited
18
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
E -connections of abstract description systems
Oliver Kutz
,
Carsten Lutz
,
Frank Wolter
…
(2004)
0
comments
Cited
15
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 278-294
DOI:
10.1007/11532231_21
SO-VID:
1757a486-2cba-4bc6-a805-08343cf2b73d
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 278
Connecting Many-Sorted Theories
pp. 99
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
pp. 219
Hierarchic Reasoning in Local Theory Extensions
pp. 260
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic
pp. 295
A Proof-Producing Decision Procedure for Real Arithmetic
pp. 337
On the Complexity of Equational Horn Clauses
pp. 353
A Combination Method for Generating Interpolants
pp. 369
sKizzo: A Suite to Evaluate and Certify QBFs
Similar content
2,252
Assessment of Drivers of Antimicrobial Usage in Poultry Farms in the Mekong Delta of Vietnam: A Combined Participatory Epidemiology and Q-Sorting Approach
Authors:
Dinh Bao Truong
,
Hoang Doan
,
Vinh Khanh Doan Tran
…
Strength of Recommendation Taxonomy (SORT): A Patient-Centered Approach to Grading Evidence in the Medical Literature
Authors:
M Ebell
,
J. Siwek
,
B D Weiss
…
Wisconsin Card Sorting Test
Authors:
Chava Creque
,
Stephanie A Kolakowsky-Hayner
See all similar
Cited by
2
Combining Data Structures with Nonstably Infinite Theories Using Many-Sorted Logic
Authors:
Silvio Ranise
,
Christophe Ringeissen
,
Calogero G. Zarba
Interpolation in local theory extensions
Authors:
See all cited by