Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,715,041 papers from all fields of science
Search
Sign In
Create Free Account
Head of embryo CS12
Known as:
Cranial region of embryo CS12
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
UNIF 26 26 th International Workshop on Unification Proceedings July 1 , 2012 Manchester , United Kingdom
Santiago Escobar
,
Konstantin Korovin
,
V. Rybakov
2012
Corpus ID: 6041835
Unification modulo equational theories was originally introduced in automated deduction and term rewriting, but has recently also…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE