Skip to main navigation
Skip to search
Skip to main content
Augusta University Research Profiles Home
Help & FAQ
Home
Profiles
Research units
Equipment
Grants
Scholarly Output
Datasets
Activities
Prizes
Search by expertise, name or affiliation
Unification and logarithmic space
Clément Aubert
, Marc Bagnol
Computer & Cyber Sciences
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Unification and logarithmic space'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Unification
100%
Logarithmic
77%
Complexity Classes
67%
Algebra
51%
Proof Theory
39%
Models of Computation
38%
Linear Logic
37%
Syntax
30%
Permutation
24%
Interaction
22%
Observation
20%
Characterization
16%
Engineering & Materials Science
Algebra
96%
Syntactics
31%
Chemical analysis
20%
Geometry
18%