Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete (Q3020012)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete |
scientific article |
Statements
Deciding Regularity of the Set of Instances of a Set of Terms with Regular Constraints is EXPTIME-Complete (English)
0 references
29 July 2011
0 references
EXPTIME-complexity
0 references
regularity
0 references
terms with variables
0 references
pattern matching
0 references
regular constraints
0 references
