Journals in DBLP
Inf. Comput. 1994, volume: 113, number: 1
Martin Beaudry Membership Testing in Threshold One Transformation Monoids [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:1-25 [Journal ] Egon Wanke On the Decidability of Certain Integer Subgraph Problems on Context-Free Graph Languages [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:26-49 [Journal ] Jonathan A. Ellis , Ivan Hal Sudborough , Jonathan S. Turner The Vertex Separation and Search Number of a Graph [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:50-79 [Journal ] Baruch Schieber , Marc Snir Calling Names on Nameless Networks [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:80-101 [Journal ] Richard Gerber , Insup Lee A Resource-Based Prioritized Bisimulation for Real-Time Systems [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:102-142 [Journal ] Evelyne Contejean , Hervé Devie An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations [Citation Graph (0, 0)][DBLP ] Inf. Comput., 1994, v:113, n:1, pp:143-172 [Journal ]