Modal Theorem Proving: An Equational Viewpoint release_ma7epmwvd5ec5bzz4xtlq7xzpa

by YVES AUFFRAY, PATRICE ENJALBERT

Published in Journal of Logic and Computation by Oxford University Press (OUP).

1992   p247-295

Archived Files and Locations

application/pdf  156.1 kB
file_x5fnow7j2jgd3mup6lgs6nig7e
web.archive.org (webarchive)
pdfs.semanticscholar.org (aggregator)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1992
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0955-792X
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 7871ba3a-e002-4568-b737-7b7c226911e7
API URL: JSON