Login / Signup
Characterization by Regulated Grammars of Calculations in the Gentzen System G.
Ruben Monjaraz Hernandez-Imbert
José de Jesús Lavalle-Martínez
Published in:
Eng. Lett. (2007)
Keyphrases
</>
context free grammars
data sets
grammatical inference
sequent calculus
context free
cut elimination
database
real time
machine learning
multi agent
visual languages
axiomatic characterization