ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Journal of automated reasoning
container_2ewief65xnegfh2slwulpgsnba
Springer-Verlag
Homepage URLs
http://www.springer.com/computer/foundations/journal/10817 |
https://www.springer.com/computer/theoretical+computer+science/journal/10817 |
https://link.springer.com/journal/10817 |
Example Publications
Handling Transitive Relations in First-Order Automated Reasoning
Koen Claessen, Ann Lillieström
2021
|
Journal of automated reasoning
doi:10.1007/s10817-021-09605-z
Experiences from Exporting Major Proof Assistant Libraries
Michael Kohlhase, Florian Rabe
2021
|
Journal of automated reasoning
doi:10.1007/s10817-021-09604-0
Model Completeness, Uniform Interpolants and Superposition Calculus
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021
|
Journal of automated reasoning
doi:10.1007/s10817-021-09596-x
Preface: Special Issue of Selected Extended Papers of CADE 2019
Pascal Fontaine
2021
|
Journal of automated reasoning
doi:10.1007/s10817-021-09601-3 pmcid:PMC8211945
Message from the New Editor-in-Chief
Jasmin Blanchette
2021
|
Journal of automated reasoning
doi:10.1007/s10817-021-09587-y
1,273
Known Releases
Preservation Summary [more]
| 504 | preserved and accessble (bright) | |
| 769 | preserved, inaccessible (dark) | |
| 0 | no known preservation |
Release Types
article-journal | 1,273 |
Publication Type
Country Code
journalCountry Code
nl
ISSN-L?
Print:
Electronic:
Wikidata
archive.org
0168-7433Print:
0168-7433Electronic:
1573-0670Wikidata
Q6294821archive.org
sim_pubid:14754Lookup Links