
Journals in DBLP
Acta Inf. 1998, volume: 35, number: 8
 Jan Van den Bussche, Luca Cabibbo
Converting Untyped Formulas to Typed Ones. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:8, pp:637643 [Journal]
 Danièle Beauquier, Anatol Slissenko
Polytime Model Checking for Timed Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:8, pp:645664 [Journal]
 Salvatore Caporaso, Michele Zito
On a Relation Between Uniform Coding and Problems of the Form DTIMEF(F) =? DSPACEF(F). [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:8, pp:665672 [Journal]
 HsuChun Yen
Priority ConflictFree Petri Nets. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:8, pp:673688 [Journal]
 HueiJan Shyr, ShyrShen Yu
BiCatenation and Shuffle Product of Languages. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:8, pp:689707 [Journal]
 ChenMing Fan, HueiJan Shyr, ShyrShen Yu
dWords and dLanguages. [Citation Graph (0, 0)][DBLP] Acta Inf., 1998, v:35, n:8, pp:709727 [Journal]
