|
Journals in DBLP
Inf. Comput. 1998, volume: 147, number: 2
- Sebastian Maneth
The Generating Power of Total Deterministic Tree Transducers. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:147, n:2, pp:111-144 [Journal]
- Clemens Lautemann, Thomas Schwentick, Iain A. Stewart
Positive Versions of Polynomial Time. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:147, n:2, pp:145-170 [Journal]
- Maria Paola Bonacina, Jieh Hsiang
On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:147, n:2, pp:171-208 [Journal]
- Stephen Ponzio
The Combinatorics of Effective Resistances and Resistive Inverses. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:147, n:2, pp:209-223 [Journal]
|