Languages with reducing reflexive types (Englisch)
Nationallizenz
- Neue Suche nach: Astesiano, Egidio
- Neue Suche nach: Costa, Gerardo
- Neue Suche nach: Astesiano, Egidio
- Neue Suche nach: Costa, Gerardo
In:
Automata, Languages and Programming
;
38-50
;
1980
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Languages with reducing reflexive types
-
Beteiligte:Astesiano, Egidio ( Autor:in ) / Costa, Gerardo ( Autor:in )
-
Erschienen in:Lecture Notes in Computer Science ; 85 ; 38-50
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1980
-
Format / Umfang:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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