
Journals in DBLP
Inf. Comput. 1997, volume: 139, number: 1
 Yonatan Aumann, Michael A. Bender, Lisa Zhang
Efficient Execution of Nondeterministic Parallel Programs on Asynchronous Systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:139, n:1, pp:116 [Journal]
 Christiane Frougny
On the Sequentiality of the Successor Function. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:139, n:1, pp:1738 [Journal]
 Giorgio Ghelli
Termination of System Fbounded: A Complete Proof. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:139, n:1, pp:3956 [Journal]
 Franco Barbanera, Stefano Berardi
The SimplyTyped Theory of BetaConversion has no Maximum Extension. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:139, n:1, pp:5761 [Journal]
 Stephen L. Bloom, Zoltán Ésik
Axiomatizing Shuffle and Concatenation in Languages. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:139, n:1, pp:6291 [Journal]
 Hans L. Bodlaender, Jan van Leeuwen, Richard B. Tan, Dimitrios M. Thilikos
On Interval Routing Schemes and Treewidth. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1997, v:139, n:1, pp:92109 [Journal]
