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=54
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Why Gödel Didn't Have Church's Thesis
Martin Davis
Information and Control
54
(1/2), 1982, pp. 3-24
The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language
Howard A. Blair
Information and Control
54
(1/2), 1982, pp. 25-47
The Complexity of the Validity Problem for Dynamic Logic
Kenneth L. Manders
,
Robert R. Daley
Information and Control
54
(1/2), 1982, pp. 48-69
Processes and the Denotational Semantics of Concurrency
J.W. de Bakker
,
J.I. Zucker
Information and Control
54
(1/2), 1982, pp. 70-120
Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable
Robert S. Streett
Information and Control
54
(1/2), 1982, pp. 121-141
Robustness of probabilistic computational complexity classes under definitional perturbations
Stathis Zachos
Information and Control
54
(3), 1982, pp. 143-154
Using String Languages to Describe Picture Languages
H.A. Maurer
,
G. Rozenberg
,
E. Welzl
Information and Control
54
(3), 1982, pp. 155-185
The Completeness of the Algebraic Specification Methods for Computable Data Types
J.A. Bergstra
,
J.V. Tucker
Information and Control
54
(3), 1982, pp. 186-200
Characterization Theorems for a Filter Lambda Model
Simonetta Ronchi Della Rocca
Information and Control
54
(3), 1982, pp. 201-216
On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of their Pushdown Store
Pavol Dúris̑
,
Zvi Galil
Information and Control
54
(3), 1982, pp. 217-227