default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Control, Volume 61
Volume 61, Number 1, 1984
- Edward G. Coffman Jr., Edgar N. Gilbert:
Dynamic, First-Fit Packings in Two or More Dimensions. 1-14 - Leonid A. Levin:
Randomness Conservation Inequalities; Information and Independence in Mathematical Theories. 15-37 - C. Mohan, Donald S. Fussell, Abraham Silberschatz:
Compatibility and Commutativity of Lock Modes. 38-64 - Yuri Gurevich, Harry R. Lewis:
A Logic for Constant-Depth Circuits. 65-74
Volume 61, Number 2, 1984
- Catriel Beeri, Moshe Y. Vardi:
On Acyclic Database Decompositions. 75-84 - P. S. Thiagarajan, K. Vos:
A Fresh Look at Free Choice Nets. 85-113 - Ernst-Erich Doberkat:
An Average Case Analysis of Floyd's Algorithm to Construct Heaps. 114-131 - Gui Liang Feng, Kenneth K. Tzeng:
On Quasi-Perfect Property of Double-Error-Correcting Goppa Codes and Their Complete Decoding. 132-146 - Peter H. Schmitt:
Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem. 147-158 - Shimon Even, Alan L. Selman, Yacov Yacobi:
The Complexity of Promise Problems with Applications to Public-Key Cryptography. 159-173 - Susumu Yamasaki, Shuji Doshita:
Erratum: The Satisfiability Problem for a Class Consisting of Horn Sentences and Non-Horn Sentences in Proportional Logic. 174
Volume 61, Number 3, 1984
- E. Allen Emerson, A. Prasad Sistla:
Deciding Full Branching Time Logic. 175-201 - Manfred Broy:
Semantics of Communicating Processes. 202-246 - Damian Niwinski:
Fixed-Point Characterization of Context-Free \infty-Languages. 247-276
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-11-07 20:37 CET 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:
