![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Information and Control, Volume 54
Volume 54, Number 1-2, 1982
- Martin Davis, Carl Smith, Paul Young:
Introduction. 1 - Martin Davis:
Why Gödel Didn't Have Church's Thesis. 3-24 - Howard A. Blair:
The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language. 25-47 - Kenneth L. Manders, Robert R. Daley:
The Complexity of the Validity Problem for Dynamic Logic. 48-69 - J. W. de Bakker, Jeffery I. Zucker:
Processes and the Denotational Semantics of Concurrency. 70-120 - Robert S. Streett:
Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable. 121-141
Volume 54, Number 3, 1982
- Stathis Zachos:
Robustness of Probabilistic Computational Complexity Classes under Definitional Perturbations. 143-154 - Hermann A. Maurer, Grzegorz Rozenberg, Emo Welzl:
Using String Languages to Describe Picture Languages. 155-185 - Jan A. Bergstra, John V. Tucker:
The Completeness of the Algebraic Specification Methods for Computable Data Types. 186-200 - Simona Ronchi Della Rocca:
Characterization Theorems for a Filter Lambda Model. 201-216 - Pavol Duris, Zvi Galil:
On Reversal-Bounded Counter Machines and on Pushdown Automata with a Bound on the Size of their Pushdown Store. 217-227
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.