No label defined (Q4910740)
From MaRDI portal
scientific article; zbMATH DE number 6146476
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 6146476 |
Statements
19 March 2013
0 references
automata theory
0 references
automata-based decision procedures for logical theories
0 references
upper bounds
0 references
minimal sizes of automata
0 references
linear arithmetic over the reals
0 references
