Journals in DBLP
Herbert Edelsbrunner The computational Geometry Column. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:66-68 [Journal ] Hartmut Ehrig The Algebraic Specification Column. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:69-70 [Journal ] Yuri Gurevich Logic in computer Science Column. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:71-81 [Journal ] Juris Hartmanis The Structural Complexity Column. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:82-91 [Journal ] Arto Salomaa The formal language theory column. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:82-96 [Journal ] Stefano Baratella , Gilberto Filé A completeness result for SLDNF resoultion. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:97-105 [Journal ] Alberto Bertoni , Nicoletta Sabadini Generating functions of trace languages. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:106-112 [Journal ] Wilfried Brauer On Minimizing Finite Automata. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:113-116 [Journal ] Manfred Broy , Martin Wirsing Ultra-loose algebraic specifications. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:117-127 [Journal ] Irène Guessarian Fixpoint strategies for deductive databases. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:128-136 [Journal ] Uschi Heuter Definite tree languages. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:137-142 [Journal ] Thomas Lengauer , Egon Wanke Efficient processing of hierarchical graphs for engineering design. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:143-157 [Journal ] Antoni Lozano NP-Hardness on succinct representation of graphs. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:158-162 [Journal ] Peter Padawitz Can inductive proofs be automated? [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:163-170 [Journal ] Lutz Priese Fairness. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:171-180 [Journal ] Wolfgang Reisig Concurrency is more fundamental than interleaving. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:181-184 [Journal ] Harrie C. M. de Swart , W. M. J. Ophelders Another tableau based automated theorem prover for classical logic. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:185-197 [Journal ] Ingo Wegener Prime implicants and parallel complexity. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1988, v:35, n:, pp:198-204 [Journal ]