Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols (Q4921500)
From MaRDI portal
scientific article; zbMATH DE number 6162139
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols |
scientific article; zbMATH DE number 6162139 |
Statements
Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols (English)
0 references
10 May 2013
0 references
0 references
