Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSIGACT News (ACM), Volume 6
Volume 6, Number 1, January 1974
- Donald E. Knuth:
A terminological proposal. 12-18 - Zvi Galil:
On some direct encodings of nondeterministic Turing machines operating in polynomial time into p-complete problems. 19-24 - Joel I. Seiferas:
A note on prefixes of regular languages. 25-29 - Richard J. Lipton, Lawrence Snyder:
On the Aanderaa-Rosenberg Conjecture. 30-31 - Peter Wegner:
Modification of Aho and Ullman's correctness proof of Warshall's algorithm. 32-35 - Technical reports. 35
Volume 6, Number 2, April 1974
- Donald E. Knuth:
Postscript about NP-hard problems. 15-16 - S. Rao Kosaraju:
Regularity preserving functions. 16-17 - Ivan M. Havel:
Automata theory motivated by problem solving. 18-23 - Victor L. Bennison:
Saving tapes in the simulation of multihead turing machines. 23-26 - Recent technical reports. 57-60
Volume 6, Number 3, July 1974
- A recent technical report. 5
- Stephen A. Cook, Robert A. Reckhow:
Corrections for "On the lengths of proofs in the propositional calculus preliminary version". 15-22 - S. Rao Kosaraju:
Correction to "Regularity preserving functions". 22 - Carl H. Smith, Jan van Leeuwen:
Microprogrammed random access stored program machines. 23-32 - Recent technical reports. 33-34
Volume 6, Number 4, October - November 1974
- Jan van Leeuwen:
A forgotten connection between tag-systems and parallel-rewriting. 19-20 - Giorgio Germano, Andrea Maggiolo-Schettini:
Loops in Algol 60 and in category theory. 21-23 - David R. Cheriton:
An extension to on-line multiplication lower bound results. 24-31 - Robert L. Constable, David Park:
Special issue on semantics and program schemas SIAM journal on computing. 32
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-26 18:30 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:
