Journals in DBLP
Acta Inf. 1995, volume: 32, number: 2
Wei-Ngan Chin , Masami Hagiya A Transformation Method for Dynamic-Sized Tabulation [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:2, pp:93-115 [Journal ] Janet A. Walz , Gregory F. Johnson Inductive Attribute Grammars: A Basis for Incremental Program Execution [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:2, pp:117-144 [Journal ] Wen-Jing Hsu , Carl V. Page Parallel Tree Contraction and Prefix Computations on a Large Family of Interconnection Topologies [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:2, pp:145-153 [Journal ] Lefteris M. Kirousis , Andreas G. Veneris Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:2, pp:155-170 [Journal ] Thomas Eiter Generating Boolean mu-Expressions [Citation Graph (0, 0)][DBLP ] Acta Inf., 1995, v:32, n:2, pp:171-187 [Journal ]