Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Hybrid logics
Modal logics
2
Bisimulations
1
Boolean functions
1
Coinduction
1
Completeness
1
Conjunctive normal forms
1
Hybrid logic
1
Memory logics
1
Modal depth
1
Modal formulas
1
Modal language
1
Modal logic
1
Normal form
1
Normal forms
1
Polynomial approximation
1
Polynomial-time
1
Propositional logic
1
Satisfiability
1
-
1
-
2Materias: “...Hybrid logics...”
JOUR