𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On exponential-time completeness of the circularity problem for attribute grammars

✍ Scribed by Wu, Pei-Chi


Book ID
121415710
Publisher
Association for Computing Machinery
Year
2004
Tongue
English
Weight
31 KB
Volume
26
Category
Article
ISSN
0164-0925

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the β€œProblem of the Last Root” for Ex
✍ Helmut Wolter πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 376 KB

For our investigations of the last root, problem for exponential terms in T-models we need some results and definitions from [l], which we shortly summarize here. Let C\* be a fixed model of T, Gf a substructure of C\* and C k OEF. Further, let C', be the set of functions in C\* defined by means of