|
Journals in DBLP
Inf. Comput. 2004, volume: 195, number: 1-2
- Alain Finkel, Pierre McKenzie, Claudine Picaronny
A well-structured framework for analysing petri net extensions. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:195, n:1-2, pp:1-29 [Journal]
- Volker Diekert, Paul Gastin
Local temporal logic is expressively complete for cograph dependence alphabets. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:195, n:1-2, pp:30-52 [Journal]
- Leah Epstein, Rob van Stee
Minimizing the maximum starting time on-line. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:195, n:1-2, pp:53-65 [Journal]
- Bas Luttik, Piet Rodenburg, Rakesh M. Verma
Remarks on Thatte's transformation of term rewriting systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:195, n:1-2, pp:66-87 [Journal]
|