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
Undecidability of Semi-Unification on a Napkin
Academic Article
Overview
Identity
View All
Overview
publication date
2020
Identity
Digital Object Identifier (DOI)
https://doi.org/10.4230/lipics.fscd.2020.9
