Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Inf.~Control AND Volume=52
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the Recursion-Theoretic Complexity of Relative Succinctness of Representations of Languages
Louise Hay
Information and Control
52
(1), 1982, pp. 2-7
Computational Complexity of Recursively Enumerable Sets
Robert I. Soare
Information and Control
52
(1), 1982, pp. 8-18
Universal Automata with Uniform Bounds on Simulation Time
W. Menzel
,
V. Sperschneider
Information and Control
52
(1), 1982, pp. 19-35
Analogues of Semicursive Sets and Effective Reducibilities to the Study of
NP
Complexity
Alan L. Selman
Information and Control
52
(1), 1982, pp. 36-51
Busy Beaver Sets: Characterizations and Applications
Robert P. Daley
Information and Control
52
(1), 1982, pp. 52-67
Tradeoffs in the Inductive Inference of Nearly Minimal Size Programs
Keh-Jiann Chen
Information and Control
52
(1), 1982, pp. 68-86
Criteria of Language Learning
Daniel N. Osherson
,
Scott Wienstein
Information and Control
52
(2), 1982, pp. 123-138
Parametrized Data Types Do Not Need Highly Constrained Parameters
Michael A. Arbib
,
Ernest G. Manes
Information and Control
52
(2), 1982, pp. 139-158
Another Incompleteness Result for Hoare's Logic
Jan Bergstra
,
Anna Chmielinska
,
Jerzy Tiuryn
Information and Control
52
(2), 1982, pp. 159-171
Test Sets for Context Free Languages and Algebraic Systems of Equations over a Free Monoid
J. Albert
,
K. C̑ulík II
,
J. Karhumäki
Information and Control
52
(2), 1982, pp. 172-186
A Direct Branching Algorithm for Checking Equivalence of Some Classes of Deterministic Pushdown Automata
Etsuji Tomita
Information and Control
52
(2), 1982, pp. 187-238
Fast parallel matrix and GCD computations
A. Borodin
,
J. von zur Gathen
,
J. Hopcroft
Information and Control
52
, 1982, pp. 241-256
An Efficient Byzantine Agreement Without Authentication
Danny Dolev
,
Michael Fischer
,
Rob Fowler
,
Nancy Lynch
,
H. Raymond Strong
Information and Control
52
(3), 1982, pp. 257-274
On the Equivalence Problem for Attribute Systems
Bruno Courcelle
,
Paul Franchi-Zannettacci
Information and Control
52
(3), 1982, pp. 275-305
Models of the Lambda Calculus
C.P.J. Koymans
Information and Control
52
(3), 1982, pp. 306-332
Dyadic Calculus and Sampling Theorems for Functions with Multidimensional Domain. I: General Theory
P.L. Butzer
,
W. Engels
Information and Control
52
(3), 1982, pp. 333-351
Dyadic Calculus and Sampling Theorems for Functions with Multidimensional Domain. II: Applications to Dyadic Sampling Representations
P.L. Butzer
,
W. Engels
Information and Control
52
(3), 1982, pp. 352-363