Automatic Evaluation of Context-Free Grammars (System Description) (Q5170813)
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: Automatic Evaluation of Context-Free Grammars (System Description) |
scientific article; zbMATH DE number 6320440
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic Evaluation of Context-Free Grammars (System Description) |
scientific article; zbMATH DE number 6320440 |
Statements
Automatic Evaluation of Context-Free Grammars (System Description) (English)
0 references
24 July 2014
0 references
grammars
0 references
equivalence
0 references
hashing
0 references
SAT
0 references
automata
0 references
