spacer
MUCH spacer Allgemein Personen Lehre Publikationen Projekte Soziales  
MUCH
Publikationen Publikationen
Publikationen line
Publikationen
line_down_and_right Publikationen Tagungen Vorträge
orange_line
spacer Datum  | Land  | Titel 
spacer A  | B  | C  | D  | E  | F  | G  | H  | I  | J  | K  | L  | M  | N  | O  | P  | S  | T  | U  | V  | W  | SONSTIGE  | ALLE 

spacer

 
ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)
  Zurück zum Index  Index  ICAL'87, International Conference on Computer Assisted Learning in Post-Secondary Education  5 / 47 ICCAL'89, 2nd International Conference on Computer Assisted Learning

 ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)
 
 Datum 1979-07-16 (1979-07-20)
 Ort Graz
 Organisator Technische Universität Graz
 Land Österreich
 Tagungsfotos  
 


Liste der Vorträge  

Vortrag Vortragender Am
A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages Fich Faith 1979-07-16
A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages Brzozowski Janusz A. 1979-07-16
A Characterization of Abstract Data as Model-Theoretic Invariants Bertoni Alberto 1979-07-17
A Characterization of Abstract Data as Model-Theoretic Invariants Mauri Giancarlo 1979-07-17
A Characterization of Abstract Data as Model-Theoretic Invariants Miglioli Pierangelo 1979-07-17
A Comparison Between Two Variations of a Pebble Game on Graphs Meyer auf der Heide Friedhelm 1979-07-20
A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs Istrail Sorin 1979-07-20
A Formal Semantics for Concurrent Systems Shields M. W. 1979-07-16
A Formal Semantics for Concurrent Systems Lauer Peter Ernst 1979-07-16
A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings Choffrut  Christian 1979-07-18
A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers Ukkonen Esko 1979-07-20
A Rational Theory of AFLS Goldstine Jonathan 1979-07-19
A String Matching Algorithm Fast on the Average Commentz-Walter Beate 1979-07-20
A Systematic Approach to Formal Language Theory Through Parallel Rewriting Rozenberg Grcegorcz 1979-07-19
A Unique Termination Theorem for a Theory with Generalised Commutative Axioms Jeanrond Hans-Josef 1979-07-19
An Aximatic Treatment of Algol 68 Routines Schwartz Richard L. 1979-07-17
Arbitration and Queuing Under Limited Shared Storage Requirements Cremers Armin B. 1979-07-17
Arbitration and Queuing Under Limited Shared Storage Requirements Hibbard Thomas N. 1979-07-17
Bracketed Two-Level Grammars - A Decidable and Practical Approach to Language Definitions Wegner Lutz Michael 1979-07-19
Con Constructing LL(k) Parsers Sippu Seppo 1979-07-18
Con Constructing LL(k) Parsers Soisalon-Soininen Eljas 1979-07-18
Constructing Call-by-Value Continuation Semantics Sethi Ravi 1979-07-17
Constructing Call-by-Value Continuation Semantics Tang Adrian 1979-07-17
DAGs and Chomsky Hierarchy (Extended Abstract) Kamimura Tsutomu 1979-07-19
DAGs and Chomsky Hierarchy (Extended Abstract) Slutzki Giora 1979-07-19
Existential Quantifiers in Abstract Data Types Broy Manfred 1979-07-17
Existential Quantifiers in Abstract Data Types Wirsing Martin 1979-07-17
Existential Quantifiers in Abstract Data Types Pepper Peter 1979-07-17
Existential Quantifiers in Abstract Data Types Partsch Helmuth A. 1979-07-17
Existential Quantifiers in Abstract Data Types Dosch Walter 1979-07-17
Extending the Notion of Finite Index Vermeir Dirk 1979-07-17
Extending the Notion of Finite Index Rozenberg Grcegorcz 1979-07-17
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus Dezani-Ciancaglini Mariangiola 1979-07-18
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus Coppo Mario 1979-07-18
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus Salle P. 1979-07-18
Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons Janko Wolfgang 1979-07-17
Inherent Ambiguities in Families of Grammars Blattner Meera 1979-07-20
Investigating Programs in Terms of Partial Graphs Schmidt Gunther 1979-07-18
Languages of Nilpotent and Solvable Groups (Extended Abstract) Thérien Denis 1979-07-16
LL(k) Parsing for Attributed Grammars Fischer Charles N. 1979-07-19
LL(k) Parsing for Attributed Grammars Milton D. R. 1979-07-19
More on Advice on Structuring Compilers and Proving Them Correct Wright Jesse B. 1979-07-19
More on Advice on Structuring Compilers and Proving Them Correct Wagner Eric G. 1979-07-19
More on Advice on Structuring Compilers and Proving Them Correct Thatcher James W. 1979-07-19
On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space Monien Burkhard 1979-07-16
On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space Sudborough Ivan Hal 1979-07-16
On Reductions of Parallel Programs Kowalk Wolfgang P. 1979-07-16
On Reductions of Parallel Programs Valk Rüdiger 1979-07-16
On the Average Stack Size of Regularly Distributed Binary Trees Kemp Rainer 1979-07-20
On the Complexity of General Context-Free Language Parsing and Recognition (Extended Abstract) Ruzzo Walter Larry 1979-07-17
On the Height of Derivation Trees Kuich Werner 1979-07-19
On the Height of Derivation Trees Prodinger Helmut 1979-07-19
On the Height of Derivation Trees Urbanek Friedrich J. 1979-07-19
On the Homomorphic Characterizations of Families of Languages Culik II Karel 1979-07-20
On the Power of Random Access Machines Schönhage Arnold 1979-07-17
On the Succintness of Different Representations of Languages Hartmanis Juris 1979-07-20
One Abstract Accepting Algorithm for all Kinds of Parsers Deussen Peter 1979-07-18
Optimal Decomposition of Linear Automata Úry László 1979-07-17
Partitioned LL(k) Grammars Friede Dietmar 1979-07-19
Proving termination with Multiset Orderings Manna Zohar 1979-07-19
Proving termination with Multiset Orderings Dershowitz Nachum 1979-07-19
P-Selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP Selman Alan L. 1979-07-16
Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract) Karp Richard M. 1979-07-20
Recursion Schemes and Generalized Interpretations (Extended Abstract) Gallier Jean H. 1979-07-18
Representing Complexity Classes by Equality Sets (Preliminary Report) Brandenburg Franz-Josef 1979-07-20
Representing Complexity Classes by Equality Sets (Preliminary Report), Franz-Josef Brandenburg: Representing Complexity Classes by Equality Sets (Preliminary Report) Book Ronald V. 1979-07-20
Sharing in Nondeterminism Astesiano Egidio 1979-07-16
Sharing in Nondeterminism Costa Gerardo 1979-07-16
Space-Time Tradeoffs for Oblivious Interger Multiplications Swamy Sowmitri 1979-07-20
Space-Time Tradeoffs for Oblivious Interger Multiplications Savage John E. 1979-07-20
Strict Deterministic Languages and Controlled Rewriting Systems Chottin Laurent 1979-07-16
Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version) Nijholt Anton 1979-07-18
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness Yelowitz Lawrence 1979-07-19
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness Duncan  Arthur G. 1979-07-19
Supercounter Machines Hotzel Eckehart 1979-07-17
Supercounter Machines Braunmühl von Burchard 1979-07-17
Sur les mots sans carré définis par un morphisme Berstel Jean 1979-07-16
The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract) Papadimitriou Christos H. 1979-07-16
The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract) Yannakakis Mihalis 1979-07-16
The Modal Logic of Programs Manna Zohar 1979-07-16
The Modal Logic of Programs Pnueli Amir 1979-07-16
Two Level Grammars: CF-Grammars with Equation Schemes Malussynski Jan 1979-07-19
Two Level Grammars: CF-Grammars with Equation Schemes Dembinski Piotr 1979-07-19
Unique Fixed Points v. Least Fixed Points Tiuryn Jerzy 1979-07-17

spacer line
Sitemap Sitemap (2001-06-07 11:37:20)   spacer