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