Publikationen Tagungen Vorträge Datum  | Fachgebiet  | Land  | Gäste  | Mitglieder  1977  | 1978  | 1979  | 1980  | 1981  | 1982  | 1983  | 1984  | 1985  | 1986  | 1987  | 1988  | 1989  | 1990  | 1991  | 1992  | 1993  | 1994  | 1995  | 1996    | 1997  | 1998  | 1999  | 2000  | ALLE

Vorträge (1979) Datum Vortrag Publikation Vortragender Land Tagung Zusatz 1979-01-18 Das Bildschirmtextsystem   Maurer Hermann Österreich     1979-01-23 Mächtigkeit von Synchronisationsoperatoren   Zima Hans Österreich       1979-01-30 Recent results on grammar forms   Wood Derick Österreich      1979-01-31 Globale Kontrolle paralleler Programme   Haase Volkmar Österreich      1979-02-07 Mehrbandautomaten und Automaten über Monoiden   Brauer Wilfried Österreich       1979-02-22 Der Einfluß des Computers auf die Gesellschaft   Maurer Hermann Österreich     1979-03-05 Simulation eines informationsverarbeitenden, lernenden Systems mit Hilfe der Evolutionsstragie   Scheel Arnd Österreich      1979-03-09 Ein TV Informationssystem   Maurer Hermann Österreich     1979-03-23 Datenverarbeitung von morgen - Entwicklungstrends und Zukunftsaussichten   Maurer Hermann Österreich     1979-03-27 New aspects of homomorphisms New Aspects of homomorphisms Maurer Hermann Deutschland GI conference on Theoretical Computer Science   1979-03-29 Neues aus der Kryptographie: Theorie und Anwendung   Maurer Hermann Deutschland     1979-03-30 Neues aus der Kryptographie: Theorie und Anwendung   Maurer Hermann Deutschland     1979-04-18 Planung und Spezifikation der Steuerung und Datenverarbeitung bei Projekt TEXTOR (Tokamak-Fusionsexperiment der KFA Jülich)   Halling Horst Österreich          1979-04-26 Verschlüsselungsmethoden und sequentielle Maschinen   Maurer Hermann Deutschland     1979-05-14 POREL - ein verteiltes Datenbanksystem   Neuhold Erich J. Österreich            1979-05-17 Mathematik als Voraussetzung für neue Methoden in der Informatik   Maurer Hermann Österreich Symposium Informatik und Mathematik   1979-05-23 Ein Vorschlag zur uniformen Behandlung balancierter Binär- und Vielwegbäume   Ottmann Thomas Österreich          1979-06-11 Arc Traversals in Trees and Efficient Algorithms for Location, Isomorphism and Packing   Matula David W. Österreich           1979-06-18 Ein Fernsehinformationssystem   Maurer Hermann Österreich     1979-07-16 The Modal Logic of Programs   Manna Zohar Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space   Monien Burkhard Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 On Reductions of Parallel Programs   Kowalk Wolfgang P. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 On Reductions of Parallel Programs   Valk Rüdiger Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages   Brzozowski Janusz A. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 Sharing in Nondeterminism   Costa Gerardo Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 The Modal Logic of Programs   Pnueli Amir Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 Strict Deterministic Languages and Controlled Rewriting Systems   Chottin Laurent Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 Sharing in Nondeterminism   Astesiano Egidio Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 A Formal Semantics for Concurrent Systems   Lauer Peter Ernst Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 Languages of Nilpotent and Solvable Groups (Extended Abstract)   Thérien Denis Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 Sur les mots sans carré définis par un morphisme   Berstel Jean Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract)   Papadimitriou Christos H. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 A Formal Semantics for Concurrent Systems   Shields M. W. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 A Characterization of a Dot-Depth Two Analogue of Generalized Definite Languages   Fich Faith Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 P-Selective Sets, Tally Languages, and the Behavior of Polynomial Time Reducibilities on NP   Selman Alan L. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 The Complexity of Restricted Minimum Spanning Tree Problems (Extended Abstract)   Yannakakis Mihalis Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-16 On Eliminating Nondeterminism From Turing Machines Which Use Less Than Logarithmic Worktape Space   Sudborough Ivan Hal Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Hierarchic Index Sequential Search with Optimal Variable Block Size and Its Minimal Expected Number of Comparisons   Janko Wolfgang Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Optimal Decomposition of Linear Automata   Úry László Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Existential Quantifiers in Abstract Data Types   Wirsing Martin Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Existential Quantifiers in Abstract Data Types   Pepper Peter Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Existential Quantifiers in Abstract Data Types   Partsch Helmuth A. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Existential Quantifiers in Abstract Data Types   Dosch Walter Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Arbitration and Queuing Under Limited Shared Storage Requirements   Cremers Armin B. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Existential Quantifiers in Abstract Data Types   Broy Manfred Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Supercounter Machines   Hotzel Eckehart Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Supercounter Machines   Braunmühl von Burchard Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Constructing Call-by-Value Continuation Semantics   Sethi Ravi Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 A Characterization of Abstract Data as Model-Theoretic Invariants   Bertoni Alberto Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 On the Complexity of General Context-Free Language Parsing and Recognition (Extended Abstract)   Ruzzo Walter Larry Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Arbitration and Queuing Under Limited Shared Storage Requirements   Hibbard Thomas N. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Extending the Notion of Finite Index   Rozenberg Grcegorcz Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 A Characterization of Abstract Data as Model-Theoretic Invariants   Miglioli Pierangelo Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Constructing Call-by-Value Continuation Semantics   Tang Adrian Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Extending the Notion of Finite Index   Vermeir Dirk Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 An Aximatic Treatment of Algol 68 Routines   Schwartz Richard L. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 On the Power of Random Access Machines   Schönhage Arnold Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 A Characterization of Abstract Data as Model-Theoretic Invariants   Mauri Giancarlo Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-17 Unique Fixed Points v. Least Fixed Points   Tiuryn Jerzy Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Functional Characterization of Some Semantic Equalities inside Lambda-Calculus   Salle P. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Functional Characterization of Some Semantic Equalities inside Lambda-Calculus   Coppo Mario Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Functional Characterization of Some Semantic Equalities inside Lambda-Calculus   Dezani-Ciancaglini Mariangiola Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 One Abstract Accepting Algorithm for all Kinds of Parsers   Deussen Peter Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Recursion Schemes and Generalized Interpretations (Extended Abstract)   Gallier Jean H. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Con Constructing LL(k) Parsers   Soisalon-Soininen Eljas Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Investigating Programs in Terms of Partial Graphs   Schmidt Gunther Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 A Generalization of Ginsburg and Rose's Characterization of G-S-M Mappings   Choffrut  Christian Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Structure Preserving Transformations on Non-Left-Recursive Grammars (Preliminary Version)   Nijholt Anton Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-18 Con Constructing LL(k) Parsers   Sippu Seppo Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 DAGs and Chomsky Hierarchy (Extended Abstract)   Kamimura Tsutomu Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Bracketed Two-Level Grammars - A Decidable and Practical Approach to Language Definitions   Wegner Lutz Michael Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 More on Advice on Structuring Compilers and Proving Them Correct   Thatcher James W. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 More on Advice on Structuring Compilers and Proving Them Correct   Wagner Eric G. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 More on Advice on Structuring Compilers and Proving Them Correct   Wright Jesse B. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 A Systematic Approach to Formal Language Theory Through Parallel Rewriting   Rozenberg Grcegorcz Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 LL(k) Parsing for Attributed Grammars   Fischer Charles N. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 On the Height of Derivation Trees   Urbanek Friedrich J. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 On the Height of Derivation Trees   Prodinger Helmut Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 LL(k) Parsing for Attributed Grammars   Milton D. R. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 DAGs and Chomsky Hierarchy (Extended Abstract)   Slutzki Giora Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Two Level Grammars: CF-Grammars with Equation Schemes   Dembinski Piotr Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 A Unique Termination Theorem for a Theory with Generalised Commutative Axioms   Jeanrond Hans-Josef Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 A Rational Theory of AFLS   Goldstine Jonathan Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Partitioned LL(k) Grammars   Friede Dietmar Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness   Duncan  Arthur G. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness   Yelowitz Lawrence Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Proving termination with Multiset Orderings   Manna Zohar Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Proving termination with Multiset Orderings   Dershowitz Nachum Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 Two Level Grammars: CF-Grammars with Equation Schemes   Malussynski Jan Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-19 On the Height of Derivation Trees   Kuich Werner Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 Space-Time Tradeoffs for Oblivious Interger Multiplications   Swamy Sowmitri Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 On the Succintness of Different Representations of Languages   Hartmanis Juris Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 Inherent Ambiguities in Families of Grammars   Blattner Meera Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 A Modification of the LR(k) Method for Constructing Compact Bottom-Up Parsers   Ukkonen Esko Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 Space-Time Tradeoffs for Oblivious Interger Multiplications   Savage John E. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 A Comparison Between Two Variations of a Pebble Game on Graphs   Meyer auf der Heide Friedhelm Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 On the Average Stack Size of Regularly Distributed Binary Trees   Kemp Rainer Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 Recent Advances in the Probabilistic Analysis of Graph-Theoretic Algorithms (Abstract)   Karp Richard M. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 A Fixed-Point Theorem for Recursive-Enumerable Languages and Some Considerations About Fixed-Point Semantics of Monadic Programs   Istrail Sorin Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 On the Homomorphic Characterizations of Families of Languages   Culik II Karel Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 A String Matching Algorithm Fast on the Average   Commentz-Walter Beate Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-07-20 Representing Complexity Classes by Equality Sets (Preliminary Report)   Brandenburg Franz-Josef Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   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. Österreich ICALP'79 - 6th International Colloquium on Automata Languages and Programming (EATCS)   1979-09-05 New trends in formal languages   Maurer Hermann Tschechische Republik MFCS'79, 8th Conference Mathematical Foundations of Computer Science    1979-09-07 On some developments in Cryptography and their application to computer science On some developments in cryptography and their applications to computer science Maurer Hermann Tschechische Republik MFCS'79, 8th Conference Mathematical Foundations of Computer Science   1979-09-17 Cryptography and data security   Maurer Hermann Finnland      1979-10-17 Die Zukunft der EDV aus der Sicht eines Großbetriebes   Zich Otto G. Österreich      1979-10-29 Bijective a-transducers Bijective a-transducers Maurer Hermann Puerto Rico FOCS Puerto Rico   1979-11-22 Dynamization of configurations in the plane   van Leeuwen Jan Österreich      1979-12-03 Internationale Entwicklungen im Einsatz von neuen Kommunikationssystemen   Kanzow Jürgen Österreich 1. Tagung des Arbeitskreises Bildschirmtextähnliche Systeme    1979-12-03 Bisherige und geplante österreichische Aktivitäten   Haase Volkmar Österreich 1. Tagung des Arbeitskreises Bildschirmtextähnliche Systeme   1979-12-03 Bildschirmtext   Maurer Hermann Österreich     1979-12-03 Aufgabenstellung des Arbeitskreises   Maurer Hermann Österreich 1. Tagung des Arbeitskreises Bildschirmtextähnliche Systeme   1979-12-07 Über den Nutzen formaler Methoden in der Informatik   Engeler Erwin Österreich

		Sitemap	(2001-06-05 19:40:47)