Experiments in Theorem Proving for Topological Hybrid Logic release_nz7enhcnojbspioof6gqy2o2ym

by Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn

Published in Electronical Notes in Theoretical Computer Science by Elsevier BV.

2009   Volume 231, p309-321

Archived Files and Locations

application/pdf  328.3 kB
file_a66ixaghzjfftbq4gv7ickr3ty
hal.inria.fr (repository)
web.archive.org (webarchive)
application/pdf  241.2 kB
file_bwamggm4srdrfandmtw3ah2uv4
www.loria.fr:80 (web)
web.archive.org (webarchive)
hylo.loria.fr (web)
web.archive.org (webarchive)
application/pdf  168.2 kB
file_twcwfklmdrdezmiwormenokvme
hal.archives-ouvertes.fr (web)
web.archive.org (webarchive)
application/pdf  303.2 kB
file_gcx6k5sn6fgkvlbei6hhajh6zy
publisher-connector.core.ac.uk (web)
web.archive.org (webarchive)
application/pdf  612.4 kB
file_xbxbkfnqtfgkjdalrfgp4bcp4u
web.archive.org (webarchive)
hal.inria.fr (repository)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2009
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  1571-0661
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 44d80308-d178-4954-804f-0ef47117c70e
API URL: JSON