Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Finite automata
16
Finite state
14
Finite state transducers
10
Normal numbers
10
Number theory
10
Abstracting
8
Propositional satisfiability
8
ALL-SAT
6
Automata composition
6
Automata theory
6
Behaviour models
6
Boolean functions
6
Computer software
6
Conjunctive normal forms
6
Construction approaches
6
Decision theory
6
FSA intersection
6
Finite-state abstraction
6
Infinite word
6
Lossless
6
Regular expressions
6
Running time
6
SAT solvers
6
Several variables
6
State-of-the-art performance
6
Benchmarking
4
Clause learning
4
Code understanding
4
Emergent behaviours
4
Finite-state
4
-
1
-
2Publicado 2018Materias: “...Finite-state automata...”
-
3Materias: “...Finite-state automata...”
JOUR -
4Materias: “...Finite state transducers...”
-
5Materias: “...Finite state transducers...”
Artículo publishedVersion -
6
-
7Materias: “...Finite state transducers...”
Artículo publishedVersion -
8
-
9Publicado 2019Materias: “...Finite-state automata...”
-
10Materias: “...Finite-state automata...”
JOUR -
11Publicado 2011Materias: “...finite state automata...”
-
12
-
13Materias: “...Finite state transducers...”
-
14Materias: “...Finite state transducers...”
JOUR -
15Publicado 2015Materias: “...Finite state...”
-
16Materias: “...Finite-state abstraction...”
-
17Materias: “...Finite-state abstraction...”
CONF -
18Materias: “...Finite state...”
SER -
19
-
20