Search the dblp DataBase

Publications of Author

1. Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich
   Window Subsequence Problems for Compressed Texts. [Citation Graph (0, 0)][DBLP]
   CSR, 2006, pp:127-136 [Conf]
   
2. Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
   Window-Accumulated Subsequence Matching Problem is Linear. [Citation Graph (0, 16)][DBLP]
   PODS, 1999, pp:327-336 [Conf]
   
3. Patrick Cégielski
   Definability, Decidability, Complexity. [Citation Graph (0, 0)][DBLP]
   Ann. Math. Artif. Intell., 1996, v:16, n:, pp:311-341 [Journal]
   
4. Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
   Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:1- [Journal]
   
5. Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
   Window-accumulated subsequence matching problem is linear. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:59-80 [Journal]
   
6. Ruy J. G. B. de Queiroz, Patrick Cégielski
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:1-3 [Journal]
   
7. Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
   Multiple serial episodes matching. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2006, v:98, n:6, pp:211-218 [Journal]
   
8. Patrick Cégielski, Yuri Matiyasevich, Denis Richard
   Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1996, v:61, n:2, pp:515-540 [Journal]
   
9. Patrick Cégielski
   The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. [Citation Graph (0, 0)][DBLP]
   Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:138-150 [Journal]
   
10. Patrick Cégielski, François Heroult, Denis Richard
    On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:303, pp:53-62 [Journal]
    
11. Patrick Cégielski, Malika More
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:1, pp:1-3 [Journal]
    
12. Patrick Cégielski, Denis Richard
    Decidability of the theory of the natural integers with the cantor pairing function and the successor. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:257, n:1-2, pp:51-77 [Journal]
    
13. Patrick Cégielski, Denis Richard
    On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:222, n:1-2, pp:55-75 [Journal]
    
14. Ruy J. G. B. de Queiroz, Patrick Cégielski
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:143-145 [Journal]
    
15. Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Multiple serial episode matching [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
    
16. 
    Normalization of Some Extended Abstract State Machines. [Citation Graph (, )][DBLP]