default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 104
Volume 104, Number 1, 1993
- John Mitchell:
Preface. Inf. Comput. 104(1): 1 (1993) - Rajeev Alur, Costas Courcoubetis, David L. Dill:
Model-Checking in Dense Real-time. 2-34 - Rajeev Alur, Thomas A. Henzinger:
Real-Time Logics: Complexity and Expressiveness. 35-77 - R. C. Sekar, I. V. Ramakrishnan:
Programming in Equational Logic: Beyond Strong Sequentiality. 78-109 - Aart Middeldorp
:
Modular Properties of Conditional Term Rewriting Systems. 110-158
Volume 104, Number 2, 1993
- David Feldman, Russell Impagliazzo, Moni Naor, Noam Nisan, Steven Rudich, Adi Shamir:
On Dice and Coins: Models of Computation for Random Generation. 159-174 - Amos Israeli, Marc Jalfon:
Uniform Self-Stabilizing Ring Orientation. 175-196 - Greg N. Frederickson:
An Optimal Algorithm for Selection in a Min-Heap. 197-214 - R. K. Shyamasundar, K. T. Narayana, Toniann Pitassi:
Semantics of Nondeterministic Asynchronous Broadcast Networks. 215-252 - David R. Luginbuhl, Michael C. Loui:
Hierarchies and Space Measures for Pointer Machines. 253-270 - Ravi Kannan, H. Venkateswaran, V. Vinay, Andrew Chi-Chih Yao:
A Circuit-Based Proof of Toda's Theorem. 271-276 - Pavol Duris, Zvi Galil:
On the Power of Multiple Reads in a Chip. 277-287 - Judy Goldsmith, Deborah Joseph, Paul Young:
Using Self-Reducibilities to Characterize Polynomial Time. 288-308
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-05 20:49 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:
