yusuke1997/dblp-id-title huggingface dataset:
A Practicable Module Conception for Dynamically Organized Higher Level Programming Languages
On Extended k-uniformly-limited T0L Systems and Languages
An Upper Bound for the Expected Complexity of Finding All Zeros of a Continuous Function by Brute Force
Preuniquely k-colourable Graphs and k-colouring Matrices
Multi Asymmetric Error-correcting Code
Hauptkegel algebraischer Potenzreihen
Akzeptierbarkeitsgrade regulärer Folgemengen
Theorie der determinierten zeitvariablen Automaten
RELACS - a Recursive Layout Computing System
On the Computational Equivalence of Synchronous and Asynchronous Cellular Spaces
A Simple Proof for the Sum p 2 Upper Bound of the Inequivalence Problem for Semilinear Sets
Charakteristische Eigenschaften von erkennbaren Klassen rekursiver Funktionen
Balanced Context-free Languages and Indexed Languages
Beiträge zu einer Dechiffrierungstheorie für endliche initiale stochastische Automaten
Zusammenhang struktureller Eigenschaften von Chomsky-Grammatiken und optimaler Sprachanalyse I
On Diagnosing Experiments with Nondeterministic Automata with Final States
A Survey on Wiring
Statistical Inference from Renewal Processes - Simultaneous Confidence Regions for the Parameters of Some Lifetime Distributions
Zur Theorie linearer Automaten
Adaptive Experiments at Finite Automata
Dezentralisierte Steuerung von Informationsverteilungsvorgängen in großen Systemen
Automatensysteme und ihre Anwendung zur Definition von Programmierungssprachen
Zur Zustandsreduktion ungetakteter (asynchroner) Folgeschaltungen II
Zur Theorie algebraischer Systeme
Zur Reduktion stochastischer Automaten
Über eine Klasse von Zerlegungen endlicher Graphen
Local Parse - A Base for Realistic Parallelisation of Compilers
Global Context Conditional Grammars
Stationäre Anfangsverteilungen stochastischer Automaten I
Space-Komplexität von klammerfreien Ausdrücken mit Typen
Zweiregister-Akzeptoren mit unterschiedlichen Druckbefehlen
Algebren und Relationen
Two Classes of Algorithms for Concave Optimization, and the Calculation of the Capacity of Discrete Memoryless Channels
Some Characteristics of the Graph Information Exchange Systems
k-dimensionale syntaktische Monoide
Über Graphenspiele Eine mehrblättrige Erweiterung der Grundy-Funktion
Methoden der Analyse und Synthese von hasardarmen Schaltnetzen mit minimalen Kosten II
Estimation of Transition Rates of Inhomogeneous Birth-Processes with a Paleontological Application
Minimal Time Synchronization in Restricted Defective Cellular Automata
Automaten in Labyrinthen I
On Shot Noise Processes Induced by Stationary Marked Point Processes
The Controlled Shift-Registers
One-dimensional matrix array grammars
Eine Teilsprache zur Bilderzeugung und -veränderung an aktiven Bildschirmen
Relationships Between Classes of Petri Net Language
Kolmogorov Backward Equations for Diffusion-type Random Fields
Asymptotic Reliability Analysis of Some Complex Systems with Repair Operating in Random Environments
On Cooperating/Distributed Grammar Systems
Limes-Erkennung rekursiver Funktionen durch spezielle Strategien
Representations of Discrete Interval Orders and Semi-Orders
Lineare Parallelrechner I
Automorphisms of Graphs with Edge Colourings and Regular Groups of Colour Preserving Automorphisms
Hasard-freie Strukturen von Folgeschaltungen
Fixed-Width Confidence Intervals: Applications to Characteristics of Lifetime Distributions
On the way to a mathematical theory of simulation
On Unary k-limited OL Systems and Languages
Endliche Automaten und Labyrinthe
Über Homomorphie und Reduktion bei nicht-deterministischen Automaten
Erweiterungen und Produkte von Semimoduln
Slupecki-type Criteria for Quasilinear Functions Over a Finite Dimensional Vector Space
Zur Erkennung stochastisch arbeitender kybernetischer Systeme
On Codes having Dual Distance d'>=k
Conditional Petri Net Languages
Zusammenhang struktureller Eigenschaften von Chomsky-Grammatiken und optimaler Sprachanalyse II
Über eine Möglichkeit zur Bestimmung der Primkonjunktionen einer kanonischen alternativen Normalform
Minimisierung schaltalgebraischer Ausdrücke durch Auswahl von Primkonjunktionen ohne Rückgriff auf die kanonische alternative Normalform
On a Family of Complexity Measures on Turing Machines, defined by Predicates
Logic Versus Sequential and Concurrent Net Behaviour
Eine für die numerische Rechnung günstige Modifikation des Simplexalgorithmus
The Depth of Functions in m-valued Logic
A Heuristic Approximation for a Single-Server Cyclic Queueing System
Berechnung von Wortfunktionen auf deterministischen n-dimensionalen iterativen Automaten
Regular Structures in Programming Languages
Zur Beschreibung eines Labyrinthes durch ein Wort über einem zweistelligen Alphabet
Stability Conditions for Single Server Queues with Varying Service Rate
On k-uniformly-limited T0L Systems and Languages
Sets of Permutations and Their Realization by Permutation Networks
On the Relation Between the Land Distribution and Offered Traffic
A note on finding all maximum cuts in a graph
Some Remarks on Intersections of Linear Context-free Languages
Stationäre Anfangsverteilungen stochastischer Automaten III
On Circular Words and (omega * + omega)-Powers of Words
Lineare Kostenfunktionen für alternative Normalformen
Minimisierung von Typ-3-Grammatiken
Über reduzible Ereignisse
Allgemeine Probleme und Methoden in der Automatentheorie
Erweiterungen von linearen Automaten
Minimal Area Sizing of Power Supply Nets in VLSI Circuits
Über die Möglichkeit einer direkten Messung der höheren Momente eindimensionaler Wahrscheinlichkeitsverteilungsdichten stochastischer Prozesse
Classification of simulation programming languages I. Declaration of necessary system conceptions
Abschlußeigenschaften (R, P)-rationaler Sprachen
Shortest Path Algorithms for Graphs of Restricted In-Degree and Out-Degree
An Importance Ranking for Components of Highly Reliable Systems
Einige Bemerkungen über nicht-deterministische Automaten
ESBA2: A Subroutine Package for Solving Elliptic Boundary Value Problems by Small Computers
A Learning Approach to Sequential Design: Finite Horizen
Net Algebras on Process Algebras
A Time Logic for Hierarchical Modelling of Dynamic Systems
Correction to: On the Diagnoals of n-Regular Relations
Bounds for Truncation Error in Band-Pass Sampling Expansion
Analytical Models for Multiple-Resource Queues with Poisson Arrival Processes and Exponentially Distributed Service Times
Some Aspects of the Peakedness Concept in Teletraffic Theory
Reliability Analysis of a Complex Renewable System with Fast Repair
Maximal Empty Boxes in Higher-dimensional Spaces
Sur les mots synthronisants dans un automate fini
On the Structure of Endomorphism Monoids and Automorphism Groups of Group Labyrinths in the Category code
Dynamics of certain discrete systems and self-reproduction of patterns
Solving an Optimal Redundancy Problem by Means of Generalized Generating Functions
Synthese optimaler Synchronisationsalgorithmen für additiv verrauschte Bitströme im Videoband I
Die Anwendung nachrichtentheoretischer Methoden in der Biologie
On the Complexity of Program Synthesis from Examples
Über den Einsatz mehrstufiger Mehrschrittalgorithmen zur Lösung von Adaptionsproblemen
Some Inequalities for Queues with Applications to Tandem and Overflow Systems
Fast Parallel Exact Computation of the Moore-Penrose Inverse and Rank of a Matrix
Information Improvement and Computation of the Rate-Distortion Function Under True and Inaccurate Input Distributions
Decidability of the Intercode Property
Über einen arithmetisch-aussagenlogischen Kalkül und seine Anwendung auf ganzzahlige Optimierungsprobleme
Testen von AND/EXOR-Feldern
Bemerkungen zur Theorie stochastischer und nicht-deterministischer Nervennetze
Ein neuer Beweis für Rosenberg's Vollständigkeitskriterium
Hamiltonicity and Traceability of the Lexicographic Product of Hypergraphs
Modellierung des Gesamtverhaltens von Mikroprogrammsteuerungen
Zur Komposition und Dekomposition einer Klasse von Programmoduln
L(ETOL [5] ) = L(ETOL)
Stationarity Conditions for Multi-Server Queueing Systems with Repeated Calls
Pure Languages and the Degree of Nondeterminism
A Note on the Relations Between Critical and Sensitive Complexity
Vergleich Boolescher Funktionen
Linear Methods in the Theory of Vector Addition Systems I
Stationäre Anfangsverteilungen stochastischer Automaten II
Homomorphe Dekomposition stochastischer und nicht-deterministischer Automaten
Logische Programmierung. Historie und gegenwärtiger Stand
On Defining the Blum Complexity of Partial Recursive Sequence Functions
Ein Verfahren zum Entwurf von asynchronen Schaltwerken mit flankenempfindlichen Speichergliedern
Some Remarks on Steady-State Availability for Series Systems with Exponentially Distributed Life and Repair Times
On the Power of Probabilistic Inductive Inference in Nonstandard Numberings
Dynamic Modelling of Transport in Agricultural Systems
Ein Verfahren zur Ermittlung der maximalen stabilen Mengen in einem ungerichteten Graphen
Zur schwachen Äquivalenz von endlichen Automaten
On Stationary Waiting Times and Limiting Behaviour of Queues with Many Servers I: The General G/G/m/infinity Case
Rekursive Berechnung von Minimalgerüsten für spezielle Subgrahen
Observationsfunktorenkalküle und die Logik der automatisierten Forschung
The Mnemon - a new hypothesis in neuronal network modelling
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets
Zur Teilwortkomplexität für Wörter und Folgen über einem endlichen Alphabet
Eine universelle Turingmaschine mit zweidimensionalem Band, 7 Buchstaben und 2 Zuständen
Inspektion und Erneuerung eines technischen Systems bei unbekannter Lebenszeitverteilung
Generalized Rewriting in Type Theory
On Optimal Adaptive Inventory Control for a Multi-location Model with Redistribution
Inductive Synthesis of Algorithms for Graphs from Sample Computations
Steuerung von Lagerhaltungs-, Bedienungs- und Produktionsprozessen bei unvollständiger Information
Programming with Proofs
Reguläre Graphen gegebener Maximalkreislänge mit maximaler Knotenzahl
Über die Fortsetzbarkeit von sequentiellen Baum-Operatoren mit endlichem Gewicht
Syntaktische Untersuchungen zu Mathematischen Sprachen I
Optimale Regelung zeitkontinuierlicher stochastischer Objekte bei zeitdiskreter Beobachtung
A Finite Capacity Telecommunication System With Repeated Calls
Complexity of Translations on Finite Domains
Eine Bemerkung über homogene Experimente
Some Trends in Automated Reasoning
Minimisierung nicht-deterministischer Akzeptoren
Konstruktion optimaler Gruppencodes mit beliebiger Minimaldistanz mittels der Methoden der linearen Optimierung
Konstruktion von Akzeptoren für Programmiersprachen
Zur Berechnung der Empfindlichkeitsfunktionen bei linearen elektrischen Netzwerken (Zusammenfassender Bericht)
LR-Deterministic Grammars
On Keys in the Relational Data Model
Eine neue Funktion für Lindenmayer-Systeme
Zeiteffektive Algorithmen zur Objektisolierung mittels lokaler Operatoren
On the Generative Capacity of Hybrid CD Grammar Systems
A Queueing System with Relative and Cyclic Priorities
Final Controlled T0L Languages
Vergleich einiger Kodierungen der natürlichen Zahlen bezüglich der regulären Entscheidbarkeit von Zahlenmengen
A Further Bound for the Mean Stationary Waiting Time in M/GI/s Queues
epsilon-Äquivalenz der Anfangsverteilungen eines stochastischen Automaten
On Certain Properties of Left Szilard Languages
Zur Dechiffrierung von Baum-Akzeptoren mittels Mehrfachexperimenten
Zur Verarbeitung von Zufallsfolgen durch abstrakte Automaten II
Über Projektionsmengen von Komplexitätsmaßen
Zum Längenproblem homogener Experimente an determinierten und nicht-deterministischen Automaten
Maskenverfahren zur Manipulation von binären Rasterbildern linienförmiger Objekte
Erweiterungen von Dendrogrammatiken
Investigations on the Application of a Precedence-Controlled Syntactic Analysis Method to a Sublanguage of ALGOL 68
On the MAXGAP Problem for Cutting Stock Problems
Computer Simulation
Approximate Convex Hull Algorithm - Efficiency Evaluations
Zur Konstruktion selbstkorrigierender Automaten
Sheffer and Symmetric Sheffer Boolean Functions under Various Functional Constructions
Verallgemeinerungen im Zusammenhang mit dem Stufenbegriff und ihre Bedeutung für die Theorie der Compiler
The Algorithm MARIDAP for the Calculation of Performance Measures of Closed Queueing Networks
Changed rules for ALGOL 68 to get a goto-free language
An Acceptor for Algebraic Power Series
Ein spezielles Erneuerungsmodell als Semi-Markov-Entscheidungsprozeß
The Cardinality of Uniquely-decodable Codes for Two-User Adder Channel
Anforderungen und Grundlagen für eine Lehrsprache in der Informationsverarbeitung (Programmierung) TEALGOL
Optimal Inventory Control for a Two-echelon Model with Periodic Ordering
The Power of the Greibach Normal Form
Insensitivity and Steady-state Probabilities in Product Form for Queueing Networks
Top-down Analysis of Context-free Grammars with Ambiguous Parentheses
Schnelle digitale Faltung mittels Fermattransformation
Minimisierungsprobleme in der Theorie des abstrakten Automaten I
Types of Processes Occurring in Computing
Ergodic Theorems for General Open Systems and Their Applications in Queueing Theory
Analysis of Three-stage Many-server Exponential Queueing Systems with Blocking
Hellinger Integrals, Error Probabilities, and Contiguity of Gaussian Processes with Independent Increments and Poisson Processes
On Optimal Policies in Structured Markovian Decision Models
Prime Implicants of Random Boolean Functions
Ein Satz über Free-Choice-Petrinetze
Ein Näherungsverfahren zur Optimierung von Systemen partieller Boolescher Funktionen
Die Grammatik syntaktischer Funktionen - eine andere Form der van Wijngaarden Grammatik
A Note on Nondeterminism and Nontermination
Über relative Äquivalenz von zufälligen Zuständen eines stochastischen Automaten
The Problem of Determination of the Summarized Messages Volume in Queueing Systems and its Applications
Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; II
Two Models for the Reconstruction Problem for Dynamic Data Structures
Diagnose und Einstellung nicht-deterministischer Automaten bei regulären Unterscheidungsformen
Stochastische Meßfehler bei Frequenzgangmessungen nach dem Kreuzkorrelationsverfahren bei zeitlich diskontinuierlicher Messung oder Berechnung
On the Circular Closure of Languages
Reliability Analysis of Complex Systems with Repair
Eine Beziehung zwischen cons-freiem LISP und Stackautomaten
Optimale Inspektion und Erneuerung
Über die Anzahl von abgeschlossenen Mengen linearer Funktionen der n-wertigen Logik
Zur näherungsweisen Nachbildung des dynamischen Verhaltens eines technisch interessanten Typs von Systemen mit verteilten Parametern
Vier Algorithmen zur Informationsreduktion an fehlerbehafteten Punktfolgen
The Computational Complexity of Feedback Vertex Set, Hamiltonian Circuit, Dominating Set, Steiner Tree, and Bandwidth on Special Perfect Graphs
On the Languages Recognizable by One-dimensional Iterative Arrays of Finite Automata in Real-time
Benutzung einer simulierten Rechenanlage beim Unterricht in Programmierung
Individual Call Blocking Probabilities in the Loss Systems SM+M/M/N and G +M/M/N
Berechnungen und die Kompliziertheit von Beziehungen
Hamiltonicity of the Disjunction of Two Hypergraphs
A Note on Measure of Fuzziness
Simple Greedoids
Algorithmus und ALGOL-Programm zur Anpassung von e-Funktionspolynomen an Meßwerte durch Innere Regression
Constructable Petri Nets
On Stationary Queues With Batch Arrivals
Simple Spatial-Temporal Models for Sequences of Geological Events
Kybernetische Aspekte der Aggregation ökonomischer Größen
Abhängigkeitsfortpflanzung in Bedienungssystemen
Second-order Analysis of Planar Mosaics Constructed Dirichlet Tessellation
The Analysis of an Additive Weight of Random Trees
A comment to a paper by D. J. Daley and D. N. Shanbhag
A Parallel Computer for Digital Image Processing
Description des monoïdes de type fini
Approximation maximaler Matchings
Kolmogorov Equations and Semigroup Properties for Markov Processes with Several Dimensional Time
Prognose von Folgen
Weak Petri Net Computers for Ackermann Functions
Über einige Probleme der Umformung der Syntax von ALGOL 60 in eine Operator-Präferenz-Grammatik und der syntaktischen Analyse von ALGOL 60 mit dieser Grammatik
Lambda-Calculus on Occurrence The Theory and its Combinatorial Counterpart
Compact Random Multidimensional Binary Trees
"Teilordnungen" von Zufallsgrößen und ihre Verwendung in der Bedienungstheorie
Eine Bemerkung zur Zerlegung von Produktionssystemen von Semi-Thue-Systemen
On Semantic Issues Connected with Keys in Relational Databases Permitting Null Values
Environment and Automata II
Rekursionstheoretische Charakterisierung von erkennbaren Klassen rekursiver Funktionen
Eine Algebraisierung des Syntheseproblems von Schaltkreisen II
Limited Intensity Random and Burst Error Correcting Codes with Class-weight Consideration
Approximating Departure Process of a Sigma G/M/1 Queueing System with a Superposition Arrival Process
Eine mögliche Ordnung aller Informationsprozesse
Umgestaltung der Ein- und Ausgabeprozeduren von ALGOL 68 zu syntaktischen Konstruktionen unter Vermeidung von Vereinigungswerten in den Wertelisten
Über eine Formalisierung sequentieller Synchronschaltungen I
CODEC - A Program System for the Interactive Development of Error-correcting Coders/Decoders
An Algebraic Approach to Deduction in Equational Partial Horn Theories
Some Performance Inequalities for Multiprogrammed and Multiprocessing Computers
Szilard Languages are log n Tape Recognizable
Die Darstellung reellwertiger Wortfunktionen in Spielautomaten und die Minimalisierung von Spielautomaten
On Mantissa Distributions in Computing and Benford's Law
Grundriß einer allgemeinen Schaltungstheorie (Analyse)
Eine Bemerkung zur Reduktion stochastischer Automaten
Der Transinformationsgehalt bei der Informationsspeicherung
Some Remarks on Feedback Queues
Über B-Produkte mit einelementiger Basismenge - eine Verallgemeinerung des cartesischen Produkts ungerichteter Graphen
A Generalized Multi-commodity Location-Allocation Model
Kompliziertheitstheoretische Charakterisierung der kontextfreien und linearen Sprachen
Zerlegungssätze für nichtdeterministische Automaten
Erkennung allgemein rekursiver Funktionen
Zur Darstellung und Behandlung algebraisch-kombinatorischer Objekte
Anwendung topologischer Methoden in der Theorie der ND-Automaten
Natural Properties of Strategies Identifying Recursive Functions
A Random Access Telecommunication System
Limes-rekursive Funktionen
Erkennung ebener geometrischer Gebilde mittels Fourier-Analyse
Adult Languages of Propagating Systems with Restricted Parallelism
Sur le problème des contraintes supplémentaires en programmation linéaire et son application au problème de décomposition
Entwurfserfahrungen mit dem rekursiven Layoutentwurfssystem RELACS; I
Petri Net Games
Inverse Function Problem
A Formal Theory of Errors in Tree Representations of Patterns
Embedding of the Poset of Turing Degrees in the Poset [µ, <=]
Zur Definition und Optimierung von deterministischen Klassifizierungs- und Identifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogentheorie I
Zur Definition und Optimierung von deterministischen Klassifizierungs- und Identifizierungsprozessen (Suchverfahren) auf der Grundlage der Fragebogentheorie II
Inequalities for Times Between Events Following a Nonhomogeneous Poisson Process
Fuzzy-Mengen und ihre Anwendungen. Ein Überblick
A Note on Generalized Parikh Equality Sets
Elementary k-iterative Systems (the Binary Case)
Zufällig akzeptierte Sprachen
On Closed Sets of Linear Operations over a Finite Set of Square-free Cardinality
Eine topologische Charakterisierung einiger Klassen regulärer Folgenmengen
A Formalization of the Transformation of Nested Declarations
Bounds for the Availability and Unavailability of a Multistate Monotone System with Dependent Components
Über die Anzahl der Spuren für die Lösung des Kanaltrassierungsproblems
ε-Äquivalenz der Anfangsverteilungen eines stochastischen Automaten
Simulation des Übertragungsverhaltens eines zufällig verknüpften Neuronennetzes mit stochastischer Eingangserregung
Why are Serial Convolutional Encoders Catastrophic?
Exakte und approximative Lösungsmöglichkeiten von Reihenfolgeproblemen
Über den Einsatz logischer Mittel zur Linearisierung diskreter Optimierungsprobleme
On the Length of Maximal Dominating Cycle in 2-Connected Graphs
Kanonische Folgen und sequentielle Anordnungen
Algebren endlicher stochastischer Automaten und ihrer Verhaltensfunktionen II
Bewertung der Zuverlässigkeit und Leistung fehlertoleranter Systeme mit Hilfe temporaler Logik
On Paterson's Problem
Experimente mit dem Problemlöser Robbimat
Algorithmische Sprache ALGOL 60+8
Elimination of Cuts in First-order Finite-valued Logics
The adjoint network in sensitivity investigations: The time-domain network sensitivity
Ein Versuch zur wahrscheinlichkeitstheoretischen Erklärung der wissenschaftlichen Produktivität
Über die Anzahl der Unterfunktionen einer Booleschen Funktion zur Charakterisierung der Kompliziertheit ihrer Realisierung
Automaten über Inputkategorien
On the Structure of Output Processes in n-stages Loss Systems
Queueing Networks - Insensitivity and a Heuristic Approximation
Algorithmisches Konstruieren von Algorithmen
Kongruenzen und Erweiterungen von Semimoduln
Eine (realisierte) Metasprache zur Definition von Syntax und Semantik von Fachsprachen
Lower Bound Proofs via Voronoi Diagrams
Funktionale Abhängigkeiten in relationalen Datenstrukturen
Inductive Inference of Almost Everywhere Correct Programs by Reliably Working Strategies
Extensions of the Farkas-Minkowski and Kuhn-Tucker Theorems
Die Anwendung des Sprachverarbeitungssystems µ zur Übersetzung von ALGOL 68
Bemerkungen zum Labyrinth-Problem
Wachstumsverteilungen bei PDOL-Systemen
Determination of the Convex Hull of a Finite Set of Planar Points Within Linear Time
Zusammenhang zwischen der Monotonie einer Booleschen Funktion und ihrer linearen Separiebarkeit
Conditionally Monotone Functions and Three Sperner Type Conditions
Estimation of Parametrized Pair Potentials of Marked and Non-marked Gibbsian Point Processes
Über die Anzahl aller nichtisomorphen transitiven Automaten von Primzahlordnung
Variable Multihead Machines
Optimization Aspects for Propositional Binary Prolog Programs
Eine Axiomatisierung der Theorie der regulären Folgenmengen
Eine vergleichende Analyse von Stopstrategien für allgemein-rekursive Prognosen
Some Considerations about Complexity for Mazurkiewicz-algorithms
A Generalization of Cumulative Processes
On Tape Complexity Classes and Savitch Mazes
Locally Maximal Clones
A Performance Model for a Multiprogrammed Computer with Fast External Devices
Über stabile Umkehrautomaten linearer Automaten
Syntaktische Untersuchungen zu Mathematischen Sprachen II
Über reguläre nicht-deterministische Operatoren
A Note on Iterative Arrays of Finite Automata over the One-letter Alphabet
Variation of Parsing Speed - a Case Study for Modula-2
Invariant Relations for Automata - A Proposal
Über die Minimalisierung von stochastischen Rabin-Automaten
On Closed Subsets of Boolean Functions (A New Proof for Post's Theorem)
Connectivity and Hamiltonian Properties of the Disjunction of Undirected Graphs
Bounded Communication in Parallel Communicating Grammar Systems
Reliability Analysis of Sequential Two-State Systems
Über ein Kompliziertheitsmaß einfacher Prozesse
A Remark on Limited OL Systems
The Range of New Lower Bound Techniques for WRAMs and Bounded Depth Circuits
Of Mice and Maze
On Uniquely and Preuniquely k-colourable Graphs
Zur Analyse und Synthese asynchroner stochastischer Automaten
Hamiltonicity of the Normal Product of Hypergraphs
Table Merging by Compatible Partitions for LR Parsers is NP-complete
On a Stochastic Approximation Procedure Applied to the Bandit Problem
Diffraction Analysis of Disordered Physical Structures
On Partitions of Permutations into Increasing and Decreasing Subsequences
Ein Grenzwertsatz aus der Zuverlässigkeitstheorie
On Function-limited Lindenmayer Systems
The Telephone Problem for Trees
Unempfindlichkeitseigenschaft für verschiedene Auswahlregeln ohne Vorliegen der Produktform der stationären Verteilung
An Unreliable Service System with Repair at Constant Time Intervals