Journals in DBLP
Acta Inf. Edward G. Coffman Jr. , Ravi Sethi Algorithms Minimizing Mean Flow Time: Schedule-Length Properties. [Citation Graph (0, 0)][DBLP ] Journal ] Erich J. Neuhold , T. Weller Specification and Proving of Command Programs. [Citation Graph (0, 0)][DBLP ] Journal ] John Darlington , Rod M. Burstall A System which Automatically Improves Programs. [Citation Graph (5, 0)][DBLP ] Journal ] Andrei P. Ershov Axiomatics for Memory Allocation. [Citation Graph (0, 0)][DBLP ] Journal ] Zvi Galil Hierarchies of Complete Problems. [Citation Graph (1, 0)][DBLP ] Journal ] Ronald V. Book , Ashok K. Chandra Inherently Nonplanar Automata. [Citation Graph (0, 0)][DBLP ] Journal ] Burkhard Monien Transformational Methods and their Application to Complexity Problems. [Citation Graph (0, 0)][DBLP ] Journal ] E. R. Anderson , F. C. Belz , Edward K. Blum SEMANOL (73) A Metalanguage for Programming the Semantics of Programming Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Karr Affine Relationships Among Variables of a Program. [Citation Graph (0, 0)][DBLP ] Journal ] Robert T. Moenck Another Polynomial Homomorphism. [Citation Graph (0, 0)][DBLP ] Journal ] Robert Endre Tarjan Edge-Disjoint Spanning Trees and Depth-First Search. [Citation Graph (0, 0)][DBLP ] Journal ] William R. Franta The Mathematical Analysis of the Computer System Modeled as a Two Stage Cyclic Queue. [Citation Graph (0, 0)][DBLP ] Journal ] Gary J. Nutt Some Resource Allocation Policies in a Multi Associative Processor. [Citation Graph (0, 0)][DBLP ] Journal ] Hans Albrecht Schmid On the Efficient Implementation of Conditional Critical Regions and the Construction of Monitors. [Citation Graph (0, 0)][DBLP ] Journal ] Pierre-Jacques Courtois , Hendrik Vantilborgh A Decomposable Model of Program Paging Behaviour. [Citation Graph (0, 0)][DBLP ] Journal ] Roland Carl Backhouse An Alternative Approach to the Improvement of LR(k) Parsers. [Citation Graph (0, 0)][DBLP ] Journal ] Hans Jürgen Schneider , Hartmut Ehrig Grammars on Partial Graphs. [Citation Graph (0, 0)][DBLP ] Journal ] Susan S. Owicki , David Gries An Axiomatic Proof Technique for Parallel Programs I. [Citation Graph (4, 0)][DBLP ] Journal ] Jacques Cohen , Martin S. Roth On the Implementation of Strassen's Fast Multiplication Algorithm. [Citation Graph (0, 0)][DBLP ] Journal ] Edsger W. Dijkstra On a Gauntlet Thrown by David Gries. [Citation Graph (0, 0)][DBLP ] Journal ] Kenichi Taniguchi , Tadao Kasami An O(n) Algorithm for Computing the Set of Available Expressions of D-Charts. [Citation Graph (0, 0)][DBLP ] Journal ] Alexandre Brandwajn A Model of a Virtual Memory System. [Citation Graph (0, 0)][DBLP ] Journal ] R. M. Wharton Resolution of Ambiguity in Parsing. [Citation Graph (0, 0)][DBLP ] Journal ] Hermann A. Maurer , Derick Wood On Grammar Forms with Terminal Context. [Citation Graph (0, 0)][DBLP ] Journal ] Werner Heise Optimal Codes, n-Arcs and Laguerre Geometry. [Citation Graph (0, 0)][DBLP ] Journal ] Andrzej Ehrenfeucht , Grzegorz Rozenberg On Proving that Certain Languages are not ETOL. [Citation Graph (0, 0)][DBLP ] Journal ] 