Journals in DBLP
Acta Inf. Martin Wirsing , Peter Pepper , Helmuth Partsch , Walter Dosch On Hierarchies of Abstract Data Types. [Citation Graph (2, 0)][DBLP ] Journal ] Jifeng He General Predicate Transformer and the Semantics of a Programming Language With Go To Statement. [Citation Graph (0, 0)][DBLP ] Journal ] Werner Damm , Bernhard Josko A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. [Citation Graph (0, 0)][DBLP ] Journal ] Ashok K. Chandra , Lawrence T. Kou , George Markowsky , Shmuel Zaks On Sets of Boolean n -Projections Surjective. [Citation Graph (0, 0)][DBLP ] Journal ] Hisao Kameda A Note on Multi-queue Scheduling of Two Tasks. [Citation Graph (0, 0)][DBLP ] Journal ] Herman Akdag Performances of an Algorithm Constructing a Nearly Optimal Binary Tree. [Citation Graph (0, 0)][DBLP ] Journal ] Walter Bucher Two-Symbol DOS Systems Generating Regular Languages. [Citation Graph (0, 0)][DBLP ] Journal ] Heikki Mannila , Kari-Jouko Räihä On the Relationship of Minimum and Optimum Covers for a Set of Functional Dependencies. [Citation Graph (3, 0)][DBLP ] Journal ] Mario Coppo On the Semantics of Polymorphism. [Citation Graph (0, 0)][DBLP ] Journal ] Nathan Goodman , Oded Shmueli NP-complete Problems Simplified on Tree Schemas. [Citation Graph (1, 0)][DBLP ] Journal ] Jean-Jacques Pansiot Hiérarchie et fermeture de certaines classes de tag-systèmes. [Citation Graph (0, 0)][DBLP ] Journal ] Christian Ronse A Three-Stage Construction for Multiconnection Networks. [Citation Graph (0, 0)][DBLP ] Journal ] Mordechai Ben-Ari , Amir Pnueli , Zohar Manna The Temporal Logic of Branching Time. [Citation Graph (0, 0)][DBLP ] Journal ] Hans-Ulrich Simon Pattern Matching in Trees and Nets. [Citation Graph (0, 0)][DBLP ] Journal ] G. Marque-Pucheu Rational Set of Trees and the Algebraic Semantics of Logic Programming. [Citation Graph (1, 0)][DBLP ] Journal ] Joseph A. Bannister , Kishor S. Trivedi Task Allocation in Fault-Tolerant Distributed Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Werner Pohlmann LR Parsing for Affix Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] Alain J. Martin A General Proof Rule for Procedures in Predicate Transformer Semantics. [Citation Graph (0, 0)][DBLP ] Journal ] Ali Mili A Relational Approach to the Design of Deterministic Programs. [Citation Graph (0, 0)][DBLP ] Journal ] Nissim Francez Product Properties and Their Direct Verification. [Citation Graph (0, 0)][DBLP ] Journal ] Philippe Flajolet On the Performance Evaluation of Extendible Hashing and Trie Searching. [Citation Graph (9, 0)][DBLP ] Journal ] Aviezri S. Fraenkel , Moshe Mor , Yehoshua Perl Is Text Compression by Prefixes and Suffixes Practical? [Citation Graph (0, 0)][DBLP ] Journal ] H. C. M. Kleijn , Grzegorz Rozenberg On the Generative Power of Regular Pattern Grammars. [Citation Graph (0, 0)][DBLP ] Journal ] 