Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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
a service of 
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.
last updated on 2024-04-22 20:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
