Journals in DBLP
Gianfranco Bilardi , Franco P. Preparata The VLSI Optimality of the AKS Sorting Network. [Citation Graph (0, 0)][DBLP ] Journal ] David A. Plaisted The Undecidability of Self-Embedding for Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Jan L. A. van de Snepscheut Evaluating Expressions with a Queue. [Citation Graph (0, 0)][DBLP ] Journal ] John McLean A Comment on the `Basic Security Theorem' of Bell and LaPadula. [Citation Graph (0, 0)][DBLP ] Journal ] Kohei Noshita Translation of Turner Combinators in O(n log n) Space. [Citation Graph (0, 0)][DBLP ] Journal ] Peter Widmayer , C. K. Wong An Optimal Algorithm for the Maximum Alignment of Terminals. [Citation Graph (0, 0)][DBLP ] Journal ] Satish R. Thatte On the Correspondence Metween Two Classes of Reduction Systems. [Citation Graph (0, 0)][DBLP ] Journal ] David Harel , David Peleg More on Looping vs. Repeating in Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Journal ] Andrejs J. Auzins , Efim B. Kinber On Separation of the Emptiness and Equivalence Problems for Program Schemes. [Citation Graph (0, 0)][DBLP ] Journal ] Danièle Beauquier , Dominique Perrin Codeterministic Automata on Infinite Words. [Citation Graph (0, 0)][DBLP ] Journal ] Esko Ukkonen Upper Bounds on the Size of LR(k) Parsers. [Citation Graph (0, 0)][DBLP ] Journal ] Michael G. Main An Infinite Square-Free co-CFL. [Citation Graph (0, 0)][DBLP ] Journal ] Subhash C. Kak How to Detect Tampering of Data. [Citation Graph (0, 0)][DBLP ] Journal ] 