Modular Tableaux Calculi for Separation Theories release_mxobe4hck5cuphdtn4idj3wlmm

by Simon Docherty, David Pym

Published in Lecture Notes in Computer Science by Springer International Publishing.

2018   p441-458

Archived Files and Locations

application/pdf  439.5 kB
file_jzd4oqbx5ndy7ilpxfhflvxdam
web.archive.org (webarchive)
discovery.ucl.ac.uk (web)
application/pdf  581.8 kB
file_bh3fq55yovcaznnlxslf4mrfla
web.archive.org (webarchive)
link.springer.com (publisher)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2018
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: 5ed33ab6-0b6e-4fdc-a2eb-78894ed05421
API URL: JSON