Journals in DBLP
Jean-Paul Allouche , Patrick Morton , Jeffrey Shallit Pattern Spectra, Substring Enumeration, and Automatic Sequences. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:161-174 [Journal ] Laurent Baratchart , M. Olivi , Franck Wielonsky On a Rational Approximation Problem in the Real Hardy Space H2. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:175-197 [Journal ] Patrick Dehornoy Probleme de mots dans les gerbes libres. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:199-213 [Journal ] Sébastien Ferenczi Tiling the Morse Sequence. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:215-221 [Journal ] Christiane Frougny Systemes de numeration linearires et Theta-representations. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:223-236 [Journal ] Didier Galmiche Program Development in Constructive Type Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:237-259 [Journal ] Danièle Gardy Methode de col et lois limites en analyse combinatoire. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:261-280 [Journal ] Bernahrd Gil Complete Extension of General Logic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:281-294 [Journal ] Gilles Lachaud Artin-Schreier Curves, Exponential Sums, and Coding Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:295-310 [Journal ] Dominique Méry The N U System as a Development System for Concurrent Programs: delta N U. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:311-334 [Journal ] Michel Parigot Recursive Programming with Proofs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:335-336 [Journal ] Dominique Perrin On Positive Matrices. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:357-366 [Journal ] Antonio Restivo A Note on Renewal Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:367-371 [Journal ] Zhi-Xiong Wen , Zhi-Ying Wen Some Studies on the (p, q)-Type Sequences. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:94, n:2, pp:373-393 [Journal ]