Journals in DBLP
Bruce W. Watson , Derick Wood Introduction. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:1- [Journal ] Anne Bergeron , Sylvie Hamel From cascade decompositions to bit-vector algorithms. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:3-16 [Journal ] Bernard Boigelot , Louis Latour Counting the solutions of Presburger equations without enumerating them. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:17-29 [Journal ] Jean-Marc Champarnaud , Gérard Duchamp Derivatives of rational expressions and related theorems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:31-44 [Journal ] Jan Daciuk , Gertjan van Noord Finite automata for compact representation of tuple dictionaries. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:45-56 [Journal ] Zhe Dang , Tevfik Bultan , Oscar H. Ibarra , Richard A. Kemmerer Past pushdown timed automata and safety verification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:57-71 [Journal ] Jacques Farré , José Fortes Gálvez Bounded-connect noncanonical discriminating-reverse parsers. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:73-91 [Journal ] Nathalie Friburger , Denis Maurel Finite-state transducer cascades to extract named entities in texts. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:93-104 [Journal ] Tamás Gaál Deciding sequentiability of finite-state transducers by finite-state pattern-matching. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:105-117 [Journal ] Dominique Geniet , Jean-Philippe Dubernard Scheduling hard sporadic tasks with regular languages and generating functions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:119-132 [Journal ] Frank Katritzke , Wolfgang Merzenich , Michael Thomas Enhancements of partitioning techniques for image compression using weighted finite automata. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:133-144 [Journal ] André Kempe Extraction and recoding of input-[epsiv]-cycles in finite state transducers. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:145-158 [Journal ] Lynette van Zijl Generalized acceptance, succinctness and supernondeterministic finite automata. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:313, n:1, pp:159-172 [Journal ]