VIVO
Select a language
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
First-Order Logic with Connectivity Operators
Academic Article
Overview
Identity
View All
Overview
publication date
2022
Identity
Digital Object Identifier (DOI)
https://doi.org/10.4230/lipics.csl.2022.34
