Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Control, Volume 55
Volume 55, Number 1-3, 1982
- Ronald L. Rivest, Adi Shamir:
How to Reuse a "Write-Once" Memory. 1-19 - Paul M. B. Vitányi:
On Efficient Simulations of Multicounter Machines. 20-39 - Ravi Kannan:
Circuit-Size Lower Bounds and Non-Reducibility to Sparse Sets. 40-56 - Danny Dolev
, Shimon Even, Richard M. Karp:
On the Security of Ping-Pong Protocols. 57-68 - Yuri Gurevich, Harry R. Lewis:
The Inference Problem for Template Dependencies. 69-79 - Andreas Blass, Yuri Gurevich:
On the Unique Satisfiability Problem. 80-88 - Klaus J. Berkling, Elfriede Fehr:
A Consistent Extension of the Lambda-Calculus as a Base for Functional Programming Languages. 89-101 - Hans Ulrich Simon:
A Tight Omega(log log n)-Bound on the Time for Parallel RAM's to Compute Nondegenerated Boolean Functions. 102-106 - Sara Porat, Nissim Francez, Shlomo Moran, Shmuel Zaks:
Fair Deriviations in Context-Free Grammars. 108-116 - Shimon Even, Timothy J. Long, Yacov Yacobi:
A Note on Deterministic and Nondeterministic Time Complexity. 117-124 - Bernhard Eisenbarth, Nivio Ziviani, Gaston H. Gonnet, Kurt Mehlhorn, Derick Wood:
The Theory of Fringe Analysis and Its Application to 2-3 Trees and B-Trees. 125-174 - David Harel, Rivi Sherman:
Looping vs. Repeating in Dynamic Logic. 175-192 - Akira Ito, Katsushi Inoue, Itsuo Takanami, Hiroshi Taniguchi:
Two-Dimensional Alternating Turing Machines with Only Universal States. 193-221 - Ian F. Blake:
The Enumeration of Certain Run-Length Sequences. 222-236 - David L. Neuhoff, Paul C. Shields:
Channel Distances and Representation. 238-264
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-17 20: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:
