Survey on formal models to reason about infinite data values (Q2824416)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6635012
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Survey on formal models to reason about infinite data values |
scientific article; zbMATH DE number 6635012 |
Statements
6 October 2016
0 references
infinite data
0 references
automata
0 references
logic
0 references
language inclusion
0 references
satisfiability
0 references
decidability
0 references
complexity
0 references
Survey on formal models to reason about infinite data values (English)
0 references
0.7948010563850403
0 references
0.7802858352661133
0 references
0.7583968043327332
0 references
0.7289044857025146
0 references
