Nonaxiomatisability of equivalences over finite state processes release_hhx2en7txvdwtemeytcjshzxoe

by Peter Sewell

Published in Annals of Pure and Applied Logic by Elsevier BV.

1997   Volume 90, Issue 1-3, p163-191

Archived Files and Locations

application/pdf  1.8 MB
file_wuxjpu5qmbcixo3xb4l44irj4a
core.ac.uk (aggregator)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1997
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0168-0072
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: ae5b3e0a-8abc-49b6-8e1d-35b8f80a28b4
API URL: JSON