Deciding Properties of Nonregular Programs (Q3137712)
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: Deciding Properties of Nonregular Programs |
scientific article; zbMATH DE number 428580
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deciding Properties of Nonregular Programs |
scientific article; zbMATH DE number 428580 |
Statements
Deciding Properties of Nonregular Programs (English)
0 references
10 October 1993
0 references
extensions of propositional dynamic logic with nonregular programs
0 references
nonregular languages
0 references
pushdown automata
0 references
deterministic stack machines
0 references
0.8790725469589233
0 references
0.8404075503349304
0 references
0.8383827209472656
0 references
0.8327905535697937
0 references
