Ehrenfeucht-Fraïssé goes automatic for real addition (Q4910740)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Ehrenfeucht-Fraïssé goes automatic for real addition |
scientific article; zbMATH DE number 6146476
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Ehrenfeucht-Fraïssé goes automatic for real addition |
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
0.98887437582016
0 references
0.8236435651779175
0 references
0.7952438592910767
0 references
0.7595975995063782
0 references
0.757183849811554
0 references