|
Journals in DBLP
Inf. Comput. 1993, volume: 104, number: 1
- John Mitchell
Preface [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:104, n:1, pp:1- [Journal]
- Rajeev Alur, Costas Courcoubetis, David L. Dill
Model-Checking in Dense Real-time [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:104, n:1, pp:2-34 [Journal]
- Rajeev Alur, Thomas A. Henzinger
Real-Time Logics: Complexity and Expressiveness [Citation Graph (1, 0)][DBLP] Inf. Comput., 1993, v:104, n:1, pp:35-77 [Journal]
- R. C. Sekar, I. V. Ramakrishnan
Programming in Equational Logic: Beyond Strong Sequentiality [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:104, n:1, pp:78-109 [Journal]
- Aart Middeldorp
Modular Properties of Conditional Term Rewriting Systems [Citation Graph (0, 0)][DBLP] Inf. Comput., 1993, v:104, n:1, pp:110-158 [Journal]
|