Proof Search and Proof Check for Equational and Inductive Theorems release_jy44cmtpb5e4llgyvpu4yv2khe

by Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2003   p297-316

Archived Files and Locations

application/pdf  325.7 kB
file_bruurjsjzfbxpedbaldvekvo4q
web.archive.org (webarchive)
www.loria.fr:80 (web)
application/pdf  329.1 kB
file_3outy46zhjhpzo2owiuwzk7wdm
www.loria.fr:80 (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2003
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c4d210c7-20de-469d-966f-77bd4daf979f
API URL: JSON