Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
AUTOMATA
3
BISIMULATION
3
BRANCHING COUNTER SYSTEMS
3
COMPUTATIONAL COMPLEXITY
3
DATA-AWARE LOGICS
3
EXPRESSIVITY
3
MODEL THEORY
3
PROOF THEORY
3
SATISFIABILITY
3
XPATH=
3
Abstract framework
2
Abstract model theory
2
Algebra
2
Calculations
2
Categorical structure
2
Formal foundation
2
Formal logic
2
Proof calculus
2
Proof system
2
Proof theory
2
Satisfiability
2
Semantics
2
-
1por Abriola, Sergio AlejandroMaterias: “...PROOF THEORY...”
Publicado 2017
Tesis doctoral publishedVersion -
2por Abriola, Sergio AlejandroMaterias: “...PROOF THEORY...”
Publicado 2017
Tesis doctoral publishedVersion -
3
-
4
-
5Materias: “...Proof theory...”
SER