Languages with reducing reflexive types (English)
National licence
- New search for: Astesiano, Egidio
- New search for: Costa, Gerardo
- New search for: Astesiano, Egidio
- New search for: Costa, Gerardo
In:
Automata, Languages and Programming
;
38-50
;
1980
- Article/Chapter (Book) / Electronic Resource
-
Title:Languages with reducing reflexive types
-
Contributors:Astesiano, Egidio ( author ) / Costa, Gerardo ( author )
-
Published in:Lecture Notes in Computer Science ; 85 ; 38-50
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:1980-01-01
-
Size:13 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 to get rid of pseudoterminalsAinhirn, W. et al. | 1980
- 12
-
Test sets for homomorphism equivalence on context free languagesAlbert, J. / Culik, K. II et al. | 1980
- 19
-
Languages with homomorphic replacementsAlbert, J. / Wegner, L. et al. | 1980
- 30
-
Functions equivalent to integer multiplicationAlt, H. et al. | 1980
- 38
-
Languages with reducing reflexive typesAstesiano, Egidio / Costa, Gerardo et al. | 1980
- 51
-
Semantics of unbounded nondeterminismBack, Ralph-Johan et al. | 1980
- 64
-
A shifting algorithm for min-max tree partitioningBecker, Ronald I. / Perl, Yehoshua / Schach, Stephen R. et al. | 1980
- 76
-
A characterisation of computable data types by means of a finite equational specification methodBergstra, J. A. / Tucker, J. V. et al. | 1980
- 91
-
A note on sweeping automataBerman, Piotr et al. | 1980
- 98
-
Border rank of a p×q×2 tensor and the optimal approximation of a pair of bilinear formsBini, D. et al. | 1980
- 109
-
Derivations et reductions dans les grammaires algebriouesBoasson, L. et al. | 1980
- 119
-
Semantic analysis of communicating sequential processesCousot, Patrick / Cousot, Radhia et al. | 1980
- 134
-
Dos systems and languagesEhrenfeucht, A. / Rozenberg, G. et al. | 1980
- 142
-
Algebraic implementation of abstract data types: concept, syntax, semantics and correctnessEhrig, H. / Kreowski, H. -J. / Padawitz, P. et al. | 1980
- 157
-
Parameterized data types in algebraic specification languagesEhrig, Hartmut / Kreowski, Hans-Jörg / Thatcher, James / Wagner, Eric / Wright, Jesse et al. | 1980
- 169
-
Characterizing correctness properties of parallel programs using fixpointsEmerson, E. Allen / Clarke, Edmund M. et al. | 1980
- 182
-
Formal properties of one-visit and multi-pass attribute grammars (extended abstract)Engelfriet, Joost / Filè, Gilberto et al. | 1980
- 195
-
Cryptocomplexity and NP-completenessEven, S. / Yacobi, Y. et al. | 1980
- 208
-
On the analysis of tree-matching algorithmsFlajolet, Philippe / Steyaert, Jean-Marc et al. | 1980
- 221
-
Generating and searching sets induced by networksFrederickson, Greg N. / Johnson, Donald B. et al. | 1980
- 234
-
The complexity of the inequivalence problem for regular expressions with intersectionFürer, Martin et al. | 1980
- 246
-
An almost linear time algorithm for computing a dependency basis in a relational data baseGalil, Zvi et al. | 1980
- 257
-
Bipolar synchronization systemsGenrich, H. J. / Thiagarajan, P. S. et al. | 1980
- 273
-
Testing of properties of finite algebrasGoralčíková, A. / Goralčík, P. / Koubek, V. et al. | 1980
- 282
-
A transaction modelGray, Jim et al. | 1980
- 299
-
On observing nondeterminism and concurrencyHennessy, Matthew / Milner, Robin et al. | 1980
- 310
-
Terminal algebra semantics and retractions for abstract data typesHornung, Günter / Raulefs, Peter et al. | 1980
- 324
-
The complexity of semilinear setsHuynh, Thiet-Dung et al. | 1980
- 338
-
A theory of nondeterminismKennaway, J. R. / Hoare, C. A. R. et al. | 1980
- 351
-
A representation theorem for models of *-free PDLKozen, Dexter et al. | 1980
- 363
-
Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensionsLangmaack, Hans / Olderog, Ernst-Rüdiger et al. | 1980
- 374
-
Symmertric space-bounded computation (extended abstract)Lewis, Harry R. / Papadimitriou, Christos H. et al. | 1980
- 385
-
On some properties of local testabilityLuca, Aldo / Restivo, Antonio et al. | 1980
- 394
-
Semantics :Algebras,fixed points,axiomsMajster-Cederbaum, Mila E. et al. | 1980
- 409
-
Measuring the expressive power of dynamic logics: An application of abstract model theoryMakowsky, J. A. et al. | 1980
- 422
-
Pebbling mountain ranges and its application to DCFL-recognitionMehlhorn, Kurt et al. | 1980
- 436
-
Space-restricted attribute grammarsSchmidt, Erik Meineche et al. | 1980
- 449
-
A constructive approach to compiler correctnessMosses, Peter et al. | 1980
- 470
-
A worst-case analysis of nearest neighbor searching by projectionPapadimitriou, Christos H. / Bentley, Jon Louis et al. | 1980
- 483
-
Proprietes syntactiques du produit non ambiguPin, Jean-Eric et al. | 1980
- 500
-
On the optimal assignment of attributes to passes in multi-pass attribute evaluatorsRäihä, Kari-Jouko / Ukkonen, Esko et al. | 1980
- 512
-
Optimal unbounded search strategiesRaoult, J. C. / Vuillemin, J. et al. | 1980
- 531
-
A "fast implementation" of a multidimensional storage into a tree storageReischuk, Rüdiger et al. | 1980
- 543
-
Grammatical familiesSalomaa, Arto et al. | 1980
- 555
-
Partitioned chain grammarsSchlichtiger, Peter et al. | 1980
- 569
-
An improved program for constructing open hash tablesSchmidt, Jeanette / Shamir, Eli et al. | 1980
- 582
-
On the power of commutativity in cryptographyShamir, Adi et al. | 1980
- 596
-
Characterizations of the LL(k) propertySippu, Seppo / Soisalon-Soininen, Eljas et al. | 1980
- 609
-
Computability in categoriesSmyth, M. B. et al. | 1980
- 621
-
On the size complexity of monotone formulasSnir, Marc et al. | 1980
- 632
-
Reversible computingToffoli, Tommaso et al. | 1980
- 645
-
The use of metasystem transition in theorem proving and program optimizationTurchin, Valentin F. et al. | 1980
- 658
-
On the power of real-time turing machines under varying specificationsVitányi, Paul M. B. et al. | 1980