Search results for "Elektronische Informationsverarbeitung und Kybernetik"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Henning Fernau	Membership for 1-Limited ET0L Languages Is Not Decidable.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Cecilia Magdalena Ionescu, Octavian Procopiuc	Bounded Communication in Parallel Communicating Grammar Systems.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	David A. Basin	Generalized Rewriting in Type Theory.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Javier Esparza, Mogens Nielsen	Decidability Issues for Petri Nets - a survey.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Massimo Ancona, Alessandro Paone	Table Merging by Compatible Partitions for LR Parsers is NP-complete.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Andrew Lim, Sartaj Sahni	Segmented Winner Trees.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Bernd I. Dahn, Andreas Wolf	A Calculus Supporting Structured Proofs.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Raimonds Simanovskis	Consistent and Conform Identification by Total Recursive Strategies.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Ryszard Janicki, Maciej Koutny	Representations of Discrete Interval Orders and Semi-Orders.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn	Planning Mathematical Proofs with Methods.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Zdzislaw Grodzki, Aleksander Wronski	Generalized de Bruijn graphs.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	Tactics in KIV.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Dietmar Wätjen	Regulation of Uniformly k-limited T0L Systems.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Valeria Mihalache	Extended Conditional Tabled Eco-Grammar Systems.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Gheorghe Paun	On the Generative Capacity of Hybrid CD Grammar Systems.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Armin Hemmerling	On Genuine Complexity and Kinds of Nondeterminism.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Vu Dinh Hoa	On the Length of Maximal Dominating Cycle in 2-Connected Graphs.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Guntram Scheithauer	On the MAXGAP Problem for Cutting Stock Problems.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Andreas Wolf	Optimization and Translation of Tableau-Proofs into Resolution.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Carsten Damm, Matthias Krause, Christoph Meinel, Stephan Waack	Separating Oblivious Linear Length MODp-Branching Program Classes.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Katja Landskron	On k-limited L Forms.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Ulrike Baumann, Reinhard Pöschel, Irmgard Schmeichel	Power Graphs.	Elektronische Informationsverarbeitung und Kybernetik	1994	DBLP BibTeX RDF
1	Gisela Pitsch	LL(k)-Coupled-Context-Free Grammars.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Franz Stetter, H. O. van Rooyen	Program Measures Based on a Graph-Like Model.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Gisela Härtler, Hendrik Schäbe	Inequalities for Times Between Events Following a Nonhomogeneous Poisson Process.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Steven D. Pinkerton	Optimization of Hierarchical Structures.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Dietmar Wätjen	On Cooperating/Distributed Limited 0L Systems.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Li Sek Su	Relationship Between Petri Net Languages' Classes L0 and T0 in the Case of lambda-Nonconsideration.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	János Sztrik, R. Rigo	On a Closed Communication System with Fast Sources and Operating in Markovian Environments.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Ismo Hakala	Efficient Algorithms for Deciding the Morphism Equivalence Problem for Regular, Linear and Context-Free Languages.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Keijo Ruohonen	Undecidability of Event Detection for ODEs.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Uwe Trier	Compact Random Multidimensional Binary Trees.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Martin Sonntag	Hamiltonicity of the Disjunction of Two Hypergraphs.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Klaus D. Heidtmann	Bewertung der Zuverlässigkeit und Leistung fehlertoleranter Systeme mit Hilfe temporaler Logik.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Rudolf Freund, Gheorghe Paun	One-dimensional matrix array grammars.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Helmut Jürgensen, Kai Salomaa, Sheng Yu	Decidability of the Intercode Property.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Joanna Kowalska	Final Controlled T0L Languages.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Günter Hotz	Search Trees and Search Graphs for Markov Sources.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Gregor Fritz	Reachability in Random Transition Graphs.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Ferucio Laurentiu Tiplea, Cristian Ene	A Coverability Structure for Parallel Communicating Grammar Systems.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Behnam Pourbabai	Tandom Behavior of a Random Access Telecommunication System with Repeated Calls.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Rainer Kemp	A Note on Two Classes of t-ary Trees.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Hendrik Schäbe	Reliability of Used Components.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Rainer Kemp	Random Multidimensional Binary Trees.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Guntram Scheithauer	Computation of Optimal ø-simple Guillotine Cutting Patterns.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Matthias Baaz, Christian G. Fermüller, Richard Zach	Elimination of Cuts in First-order Finite-valued Logics.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Svetlana Loshkaryova	Some Characteristics of the Graph Information Exchange Systems.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	J. Brunner, Th. Drescher, Reinhard Pöschel, H. Seidel	Power algebras: clones and relations.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Thomas Goldberg, Walter Harnau	On Pseudocirculant Graphs and their Automorphisms.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Henning Fernau	Adult Languages of Propagating Systems with Restricted Parallelism.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Behnam Pourbabai	Approximating Departure Process of a Sigma G/M/1 Queueing System with a Superposition Arrival Process.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Frank Plastria	A Note on "A Special Problem on Rectangular Floorplans Solvable in Polynomial Time" of G. Bär.	Elektronische Informationsverarbeitung und Kybernetik	1993	DBLP BibTeX RDF
1	Annegret Habel	Hypergraph Grammars: Transformational and Algorithmic Aspects.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Matti Peltola	A Normal Form for Right Dominating Linear Language.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Joel Berman, Willem J. Blok	Equational Dependencies.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Uwe Ahlfeld, Hans-Dietrich Hecker	The Computational Complexity of some Guard Sets in Polygons.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Ingo Wegener	How far Can We Count in Constant Depth with a Polylogarithmic Number of Gates?	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Dietlinde Lau	A Completeness Criterion for Pk(l).	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Dietmar Wätjen	A Weak Iteration Theorem for k-limited E0L Systems.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Ralf Stiebe	Picture Generation Using Matrix Systems.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Matthias Wentzlau	The Maximum Number of Edges in a Preuniquely k-Colourable Graph with Resistive k-Colourings.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Margit Voigt	On the Chromatic Number of Distance Graphs.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Nguyen Xuan Huy, Le Thi Thanh	Generalized Positive Boolean Dependencies.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Kai Salomaa	Confluence, ground confluence, and termination of monadic term rewriting systems.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Toshinao Nakatsuka, Akihiko Ishikawa	Stochastic Properties of Sharing a Taxi.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	U. Hendrich, Michael Stiebitz	On the Bandwidth of Graph Products.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Vu Dinh Hoa	Über Hamiltonizität in einer Klasse spezieller Graphen.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Henning Bordihn	Pure Languages and the Degree of Nondeterminism.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Dietlinde Lau	Ein neuer Beweis für Rosenberg's Vollständigkeitskriterium.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Daniel Olejár	On the Geometry of a Random Square Boolean Matrix.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Ulrike Brandt	Number Representations and Registers.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Walter Eschenbach	Sequential Fixed-Width Confidence Interval for System Availability.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Mathias Bull, Armin Hemmerling	Traps for Jumping Multihead Counter Automata.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Eberhard Bertsch	Variation of Parsing Speed - a Case Study for Modula-2.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Jerzy Zurawiecki	The Strong Similitude of Hamiltonian Circuits of a de Bruijn Graph.	Elektronische Informationsverarbeitung und Kybernetik	1992	DBLP BibTeX RDF
1	Peter Tittmann, Andrea Blechschmidt	Reliability Bounds Based on Network Splitting.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Ferucio Laurentiu Tiplea, Toader Jucan, Cristian Masalagiu	Conditional Petri Net Languages.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Sos S. Agaian, Arthur A. Petrosian	On the Relationship between Compression Coefficient, Precision of Reconstruction and Complexity of Calculations.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Martin Kutrib, Roland Vollmar	Minimal Time Synchronization in Restricted Defective Cellular Automata.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Martin Sonntag	Hamiltonicity and Traceability of the Lexicographic Product of Hypergraphs.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Paul Molitor	A Survey on Wiring.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Claudia Leopold	Reading Data in a Hierarchical Memory.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	David N. Gevorkian	On Subgroup Subcodes of BCH Codes.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Uwe Wolter	An Algebraic Approach to Deduction in Equational Partial Horn Theories.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	A. H. Mkhitarian	Multi Asymmetric Error-correcting Code.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Jovisa D. Zunic	Inner and Outer Convex Hull Approximation for Finite Planar Point Sets.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Manfred Koebe	Tolerance Graphs and Trapezoid Graphs.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Reinhard Röpling-Lenhart	A Lower Bound for the Length of Snakes.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Eckhard Manthei	Domination Theory and Network Reliability Analysis.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Dietlinde Lau	On Closed Subsets of Boolean Functions (A New Proof for Post's Theorem).	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Viliam Geffert	How to Generate Languages Using Only Two Pairs of Parentheses.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Joachim Biskup, János Demetrovics, Leonid Libkin, Ilya B. Muchnik	On Relational Database Schemes Having Unique Minimal Key.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Gunter Bär	A Special Problem on Rectangular Floorplans Solvable in Polynomial Time.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Juraj Hromkovic, Ladislav Janiga, Václav Koubek	Variable Multihead Machines.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Matthias Wentzlau	Preuniquely k-colourable Graphs and k-colouring Matrices.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Martin Hartwig, Eckhard Stein, Roland Strobel	Specification and Implementation of a Tree Interface for Ada.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Alexander Meduna	Global Context Conditional Grammars.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Heiner Fauck	Covering Polygons with Rectangles via Edge Coverings of Bipartite Permutation Graphs.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Ludwig Staiger	On Codes having Dual Distance d'>=k.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF
1	Louchka Popova-Zeugmann	On Time Petri Nets.	Elektronische Informationsverarbeitung und Kybernetik	1991	DBLP BibTeX RDF

Publications at "Elektronische Informationsverarbeitung und Kybernetik"( http://dblp.L3S.de/Venues/Elektronische_Informationsverarbeitung_und_Kybernetik )