VIVO
English (United States)
English (United States)
English (Canada)
Français (Canada)
Deutsch (Deutschland)
Español
Português (Brasil)
Index
Log in
Search form
Home
People
Organizations
Research
Events
Capability Map
Plum Print visual indicator of research metrics
Formalizing a Seligman-Style Tableau System for Hybrid Logic
Chapter
Overview
Identity
View All
Overview
publication date
2020
Identity
Digital Object Identifier (DOI)
https://doi.org/10.1007/978-3-030-51074-9_27
share the URI for this profile
view profile in RDF format
close
Citations
Citation Indexes:
3
Captures
Readers:
1
see details
Posted by
2
X users
1
readers on Mendeley
See more details
