The SCEAS System
| |||||||

## Search the dblp DataBase
Patrick Cégielski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - Patrick Cégielski
**Definability, Decidability, Complexity.**[Citation Graph (0, 0)][DBLP] Ann. Math. Artif. Intell., 1996, v:16, n:, pp:311-341 [Journal] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Patrick Cégielski, Malika More
**Foreword.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:322, n:1, pp:1-3 [Journal] - 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] - 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] - 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] - Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
**Multiple serial episode matching**[Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal] **Normalization of Some Extended Abstract State Machines.**[Citation Graph (, )][DBLP]
Search in 0.014secs, Finished in 0.015secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |