Languages defined by higher type program schemes (English)
National licence
- New search for: Damm, Werner
- New search for: Damm, Werner
In:
Automata, Languages and Programming
;
164-179
;
1977
-
ISBN:
- Article/Chapter (Book) / Electronic Resource
-
Title:Languages defined by higher type program schemes
-
Contributors:Damm, Werner ( author )
-
Published in:Automata, Languages and Programming ; 164-179Lecture Notes in Computer Science ; 52 ; 164-179
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1977-01-01
-
Size:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
How hard is compiler code generation?Aho, Alfred V. / Sethi, Ravi et al. | 1977
- 16
-
"Natural" complexity measures and time versus memory: Some definitional proposalsAlton, Donald A. et al. | 1977
- 30
-
Semantics and proof theory of pascal proceduresApt, K. R. / Bakker, J. W. et al. | 1977
- 45
-
On the structure of combinatorial problems and structure preserving reductionsAusiello, Giorgio / D'Atri, Alessandro / Protasi, Marco et al. | 1977
- 61
-
Factor graphs, failure functions and Bi-TreesBackhouse, R. C. / Lutz, R. K. et al. | 1977
- 76
-
Parallel decomposition of LR(k) parsersBenson, David B. / Jeffords, Ralph D. et al. | 1977
- 87
-
Some recursively unsolvable problems relating to isolated cutpoints in probabilistic automataBertoni, A. / Mauri, G. / Torelli, M. et al. | 1977
- 95
-
Termination tests inside λ-calculusBöhm, C. / Coppo, M. / Dezani-Ciancaglini, M. et al. | 1977
- 111
-
On the computational power of reversal-bounded machinesBook, Ronald V. / Yap, Chee K. et al. | 1977
- 120
-
The contextsensitivity bounds of contextsensitive grammars and languagesBrandenburg, Franz-Josef et al. | 1977
- 135
-
Serial composition of 2-way finite-state transducers and simple programs on stringsChytil, Michal P. / Jákl, Vojtěch et al. | 1977
- 148
-
The sequence equivalence problem for dol systems is decidableČulik, K. II / Friš, I. et al. | 1977
- 164
-
Languages defined by higher type program schemesDamm, Werner et al. | 1977
- 180
-
Parsing and syntactic error recovery for context-free grammars by means of coarse structuresDieterich, Ernst-Wolfgang et al. | 1977
- 193
-
On three types of unambiguity of context-free languageDikovskii, A. Ja. / Modina, Larisa S. et al. | 1977
- 206
-
The mathematics of record handlingEhrig, Hartmut / Rosen, Barry K. et al. | 1977
- 221
-
Macro grammars, lindenmayer systems and other copying devicesEngelfriet, Joost et al. | 1977
- 230
-
On the time and tape complexity of hyper(1)-AFL'sErni, Wilhelm J. et al. | 1977
- 244
-
Renaming and erasing in szilard languagesHöpner, Matthias / Opp, Manfred et al. | 1977
- 258
-
Some matching problemsItai, Alon / Rodeh, Michael et al. | 1977
- 269
-
Complexite des demi — Groupes de matricesJacob, G. et al. | 1977
- 282
-
On the proper treatment or referencing, dereferencing and assignmentJanssen, T. M. V. / Emde Boas, P. et al. | 1977
- 301
-
Complexity of some problems concerning L systemsJones, Neil D. / Skyum, Sven et al. | 1977
- 309
-
Left-fitting translationsKriegel, H. P. / Ottmann, Th. et al. | 1977
- 323
-
Dynamic binary searchMehlhorn, Kurt et al. | 1977
- 337
-
About the derivation languages of grammars and machinesMonien, Burkhard et al. | 1977
- 352
-
Simple chain grammarsNijholt, Anton et al. | 1977
- 365
-
Time-space trade-offs in a pebble gamePaul, W. J. / Tarjan, R. E. et al. | 1977
- 370
-
Non-deterministic polynomial optimization problems and their approximationPaz, A. / Moran, S. et al. | 1977
- 380
-
Simple programs and their decision problemsPnueli, A. / Slutzki, G. et al. | 1977
- 391
-
Theory of data structures by relational and graph grammarsRajlich, Václav et al. | 1977
- 412
-
On backtracking and greatest fixpointsRoever, Willem P. et al. | 1977
- 430
-
L systems of finite indexRozenberg, G. / Vermeir, D. et al. | 1977
- 440
-
The safety of a coroutine systemSajaniemi, Jorma et al. | 1977
- 453
-
Linear time simulation of multihead turing machines with head — To-head jumpsSavitch, Walter J. / Vitányi, Paul M. B. et al. | 1977
- 465
-
Data types as objectsShamir, Adi / Wadge, William W. et al. | 1977
- 480
-
On the difference between one and manySimon, Janos et al. | 1977
- 492
-
On defining error recovery in context-free parsingSippu, Seppo / Soisalon-Soininen, Eljas et al. | 1977
- 504
-
LL(k) languages are closed under union with finite languagesStreinu, Ileana et al. | 1977
- 509
-
The time and tape complexity of developmental languagesSudborough, I. H. et al. | 1977
- 524
-
Rational relations of binary treesTakahashi, Masako et al. | 1977
- 539
-
Structural equivalence of context-free grammar forms is decidableWalter, Hermann K. -G. et al. | 1977
- 554
-
On the definition of classes of interpretationsCourcelle, Bruno et al. | 1977