Searching for "Derivation-Bounded Languages." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Graph Grammars and Operations on Graphs
- …, in Chapter 8, we look at the classes of regular, linear, and derivation-bounded languages under…
- Cited by 1 (1 self) – Add To MetaCart
-
Multilanguage Hierarchical Logics (or: How We Can Do Without Modal Logics)
- … machinery to the axioms). What can be derived is bound by language: certain formulas (like the conjunction…
- Cited by 144 (49 self) – Add To MetaCart
-
Multilanguage systems
- … and conclusions belong to distinct languages. Bridge rules allow to derive a theorem in a theory from a theorem…
- Cited by 13 (9 self) – Add To MetaCart
-
Conditional Context-Free Languages of Finite Index
- …. Ginsburg and Spanier introduced derivation-bounded languages [14]. There, all words which have a successful…
- Cited by 3 (2 self) – Add To MetaCart
-
Hierarchical Meta-Logics for Belief and Provability: How We Can Do Without Modal Logics
- … is bound by language: certain formulas (like the conjunction of two theorems in two distinct theories…
- Cited by 3 (3 self) – Add To MetaCart
-
Pei Hsia and Raymond T. Yeh
- … languages is acceptable by marker automata; 2. the family of derivation bounded languages is acceptable…
- Add To MetaCart
Showing 1 through 6.
