leanCoP: lean connection-based theorem proving release_tzbrhxmcxng6vmkfkqxtl5sbbq

by Jens Otten, Wolfgang Bibel

Published in Journal of symbolic computation by Elsevier BV.

2003   Volume 36, Issue 1-2, p139-161

Archived Files and Locations

application/pdf  285.5 kB
file_4wfsjl2kb5hzfmisuayafosjhq
web.archive.org (webarchive)
www.jens-otten.de:80 (web)
application/pdf  167.2 kB
file_nom2263prnf7lgs4lgws3cmxlm
web.archive.org (webarchive)
www.jens-otten.de:80 (web)
application/pdf  287.1 kB
file_kiqfgxekkrgzxn3vmc2aehz7qi
www.cs.uni-potsdam.de:80 (web)
web.archive.org (webarchive)
application/pdf  177.5 kB
file_ptciplvjzfamrbhyzxyzvpmhsa
www.leancop.de (web)
web.archive.org (webarchive)
web.archive.org (webarchive)
web.archive.org (webarchive)
application/pdf  380.4 kB
file_sab3usf77bcvrdakpxahgfxzie
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2003
Language   en ?
Journal Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0747-7171
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 307e9a5a-d3d9-484a-a5ce-e385ddb8c565
API URL: JSON