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=56
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Isomorphism of
k
-Contractible Graphs. A Generalization of Bounded Valence and Bounded Genus
Gary L. Miller
Information and Control
56
(1/2), 1983, pp. 1-20
Isomorphism of Graphs Which are Pairwise
k
-separable
Gary L. Miller
Information and Control
56
(1/2), 1983, pp. 21-33
The Recognition of Deterministic CFL's in Small Time and Space
Burchard von Braunmühl
,
Stephen Cook
,
Kurt Mehlhorn
,
Rutger Verbeek
Information and Control
56
(1/2), 1983, pp. 34-51
A Formal Notion of Program-Based Test Data Adequacy
Martin D. Davis
,
Elaine J. Weyuker
Information and Control
56
(1/2), 1983, pp. 52-71
Temporal Logic Can Be More Expensive
Pierre Wolper
Information and Control
56
(1/2), 1983, pp. 72-99
Pseudo-Extending Computable Functions
John Case
Information and Control
56
(1/2), 1983, pp. 100-111
Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
Albert R. Meyer
,
John C. Mitchell
Information and Control
56
(1/2), 1983, pp. 112-138
Ambiguity and Decision Problems Concerning Number Systems
Karel C̑ulík II
,
Arto Salomaa
Information and Control
56
(3), 1983, pp. 139-153
The Implication Problem for Functional and Inclusion Dependencies
John C. Mitchell
Information and Control
56
(3), 1983, pp. 154-173
Dynamic Parallel Memories
Uzi Vishkin
,
Avi Wigderson
Information and Control
56
(3), 1983, pp. 174-182
Succinct Representations of Graphs
Hana Galperin
,
Avi Wigderson
Information and Control
56
(3), 1983, pp. 183-198
On Storage Media with Aftereffects
H.S. Witsenhausen
,
A.D. Wyner
Information and Control
56
(3), 1983, pp. 199-211
A Necessary and Sufficient Condition in Order That a Herbrand Interpretation Be Expressive Relative to Recursive Programs
Paweƚ Urzyczyn
Information and Control
56
(3), 1983, pp. 212-219