Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logic
6
Modal logics
4
Computer circuits
3
Data structures
3
Formal logic
3
Hybrid logics
3
Linguistics
3
Logical language
3
Biomineralization
2
Definability
2
Expressive power
2
Modal language
2
Model checking
2
Model theory
2
Relational Model
2
Satisfiability
2
Additional datum
1
Automata theory
1
Bisimulation
1
Bisimulations
1
Boolean functions
1
Calculations
1
Characterization
1
Characterization theorems
1
Coinduction
1
Complete axiomatizations
1
Completeness
1
Computability and decidability
1
Computation theory
1
Computational complexity
1
-
1
-
2Materias: “...Modal logics...”
JOUR -
3
-
4Materias: “...Hybrid logics...”
JOUR -
5Materias: “...Modal logic...”
SER -
6Materias: “...Computational logic...”
SER -
7Materias: “...Hybrid logics...”
SER -
8Materias: “...Logical language...”
SER -
9Materias: “...Logical language...”
SER -
10por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF