Back to Results
First PageMeta Content
Metalogic / Model theory / Formal languages / Proof theory / Quantifier elimination / Unification / Well-formed formula / Decidability / Term algebra / Logic / Mathematical logic / Mathematics


Complete Axiomatizations
Add to Reading List

Document Date: 2010-06-28 17:11:11

Open Document

File Size: 788,90 KB

Share Result on Facebook

Company

Esprit / Sn / Let us / /

Country

France / /

Currency

USD / /

IndustryTerm

ground systems / unification algorithm / symmetric / /

Product

Bang & Olufsen Form 2 Headphone/Headset / /

ProgrammingLanguage

E / /

Technology

terminating algorithm / unification algorithm / Dom / /

SocialTag