![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Information and Control, Volume 65
Volume 65, Number 1, 1985
- John Grant, Jack Minker:
Normalization and Axiomatization for Numerical Dependencies. 1-17 - Oscar H. Ibarra, Louis E. Rosier:
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs. 18-41 - Oscar H. Ibarra, Louis E. Rosier:
On Simple Programs with Primitive Conditional Statements. 42-62 - Klaus Ambos-Spies:
Sublattices of the Polynomial Time Degrees. 63-84
Volume 65, Number 2-3, 1985
- Richard Statman:
Logical Relations and the Typed lambda-Calculus. 85-97 - A. J. Kfoury:
Definability by Deterministic and Non-deterministic Programs (with Applications to First-Order Dynamic Logic). 98-121 - Nachum Dershowitz:
Computing with Rewrite Systems. 122-157 - Juris Hartmanis, Neil Immerman, Vivian Sewelson:
Sparse Sets in NP-P: EXPTIME versus NEXPTIME. 158-181 - David A. Plaisted:
Semantic Confluence Tests and Completion Methods. 182-215
![](https://dblp.uni-trier.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.