Journals in DBLP
Acta Inf. David A. Watt The Parsing Problem for Affix Grammars [Citation Graph (0, 0)][DBLP ] Journal ] David C. Luckham , Norihisa Suzuki Proof of Termination within a Weak Logic of Programs [Citation Graph (0, 0)][DBLP ] Journal ] Mila E. Majster-Cederbaum Extended Directed Graphs, a Formalism for Structured Data and Data Structures [Citation Graph (0, 0)][DBLP ] Journal ] Isi Mitrani , J. H. Hine Complete Parameterized Families of Job Scheduling Strategies [Citation Graph (0, 0)][DBLP ] Journal ] Hermann A. Maurer , Arto Salomaa , Derick Wood EOL Forms [Citation Graph (0, 0)][DBLP ] Journal ] Robert D. Tennent Language Design Methods Based on Semantic Principles [Citation Graph (1, 0)][DBLP ] Journal ] Bruce Russell On an Equivalence between Continuation and Stack Semantics [Citation Graph (0, 0)][DBLP ] Journal ] Nissim Francez , Boris Klebansky , Amir Pnueli Backtracking in Recursive Computations [Citation Graph (0, 0)][DBLP ] Journal ] George W. Ernst Rules of Inference for Procedure Calls [Citation Graph (0, 0)][DBLP ] Journal ] Bo Munch-Andersen , Torben U. Zahle Scheduling According to Job Priority with Prevention of Deadlock and Permanent Blocking [Citation Graph (0, 0)][DBLP ] Journal ] Joel I. Seiferas Iterative Arrays with Direct Central Control [Citation Graph (0, 0)][DBLP ] Journal ] Peter Deussen , Kurt Mehlhorn Van Wijngaarden Grammars and Space Complexity Classs EXSPACE [Citation Graph (0, 0)][DBLP ] Journal ] Tilak Agerwala Some Extended Semaphore Primitives [Citation Graph (0, 0)][DBLP ] Journal ] James E. Donahue Locations Considered Unnecessary [Citation Graph (0, 0)][DBLP ] Journal ] Fred Kröger LAR: A Logic of Algorithmic Reasoning [Citation Graph (0, 0)][DBLP ] Journal ] Yoshihide Igarashi General Properties of Derivational Complexity [Citation Graph (0, 0)][DBLP ] Journal ] Peter R. J. Asveld , Joost Engelfriet Iterated Deterministic Substitution [Citation Graph (0, 0)][DBLP ] Journal ] J. Eve , Reino Kurki-Suonio On Computing the Transitive Closure of a Relation [Citation Graph (6, 0)][DBLP ] Journal ] Robert D. Tennent On a New Approach to Representation Independent Data Classes [Citation Graph (0, 0)][DBLP ] Journal ] Norbert Ramsperger Concurrent Access to Data [Citation Graph (0, 0)][DBLP ] Journal ] Reidar Conradi Some Comments on "Concurrent Readers and Writers" [Citation Graph (0, 0)][DBLP ] Journal ] Hisao Kameda , C. C. Gotlieb A Feedback-Coupled Resource Allocation Policy for Multiprogrammed Computer Systems [Citation Graph (0, 0)][DBLP ] Journal ] Michel Parent , Dominique Potier A Note on the Influence of Program Loading on the Page Fault Rate [Citation Graph (0, 0)][DBLP ] Journal ] Burkhard Monien The LBA-Problem and the Deterministic Tape Complexity of Two-Way One-Counter Languages over a One-Letter Alphabet [Citation Graph (0, 0)][DBLP ] Journal ] Burkhard Monien Corrigenda: Transformational Methods and Their Application to Complexity Problems [Citation Graph (0, 0)][DBLP ] Journal ] 