|
Journals in DBLP
Inf. Comput. 1991, volume: 94, number: 1
- Kim Guldstrand Larsen, Arne Skou
Bisimulation through Probabilistic Testing [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:94, n:1, pp:1-28 [Journal]
- P. C. P. Bhatt, Krzysztof Diks, Torben Hagerup, V. C. Prasad, Tomasz Radzik, Sanjeev Saxena
Improved Deterministic Parallel Integer Sorting [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:94, n:1, pp:29-47 [Journal]
- Manfred Droste
Universal Homogeneous Event Structures and Domains [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:94, n:1, pp:48-61 [Journal]
- Erich Grädel
Simple Sentences That Are Hard to Decide [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:94, n:1, pp:62-82 [Journal]
- Anna Lubiw, András Rácz
A Lower Bound for the Integer Element Distinctiveness Problem [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:94, n:1, pp:83-92 [Journal]
- Egon Wanke
Algorithms for Graph Problems on BNLC Structured Graphs [Citation Graph (0, 0)][DBLP] Inf. Comput., 1991, v:94, n:1, pp:93-122 [Journal]
|