dblp.uni-trier.dewww.uni-trier.de

Patrick Cégielski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2007
16EEPatrick Cégielski, Denis Richard, Maxim Vsemirnov: On the Additive Theory of Prime Numbers. Fundam. Inform. 81(1-3): 83-96 (2007)
2006
15EEPatrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich: Window Subsequence Problems for Compressed Texts. CSR 2006: 127-136
14EEPatrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Multiple serial episode matching CoRR abs/cs/0603050: (2006)
13EEPatrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Multiple serial episodes matching. Inf. Process. Lett. 98(6): 211-218 (2006)
12EERuy J. G. B. de Queiroz, Patrick Cégielski: Preface. Theor. Comput. Sci. 364(2): 143-145 (2006)
2005
11EERuy J. G. B. de Queiroz, Patrick Cégielski: Preface. Electr. Notes Theor. Comput. Sci. 123: 1-3 (2005)
2004
10EEPatrick Cégielski, Malika More: Foreword. Theor. Comput. Sci. 322(1): 1-3 (2004)
2003
9EEPatrick 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. Theor. Comput. Sci. 1(303): 53-62 (2003)
2001
8 Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Window-accumulated subsequence matching problem is linear. Ann. Pure Appl. Logic 113(1-3): 59-80 (2001)
7EEPatrick Cégielski, Denis Richard: Decidability of the theory of the natural integers with the cantor pairing function and the successor. Theor. Comput. Sci. 257(1-2): 51-77 (2001)
1999
6EELuc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Window-Accumulated Subsequence Matching Problem is Linear. PODS 1999: 327-336
5EEPatrick Cégielski, Denis Richard: On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists. Theor. Comput. Sci. 222(1-2): 55-75 (1999)
1997
4 Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie: Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. Ann. Pure Appl. Logic 89(1): 1 (1997)
1996
3 Patrick Cégielski: Definability, Decidability, Complexity. Ann. Math. Artif. Intell. 16: 311-341 (1996)
2 Patrick Cégielski, Yuri Matiyasevich, Denis Richard: Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. J. Symb. Log. 61(2): 515-540 (1996)
1989
1 Patrick Cégielski: The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. Notre Dame Journal of Formal Logic 30(1): 138-150 (1989)

Coauthor Index

1Luc Boasson [6] [8]
2Irène Guessarian [6] [8] [13] [14] [15]
3François Heroult [9]
4Yury Lifshits [15]
5Yuri Matiyasevich [2] [6] [8] [13] [14] [15]
6Malika More [10]
7Leszek Pacholski [4]
8Ruy J. G. B. de Queiroz [11] [12]
9Denis Richard [2] [4] [5] [7] [9] [16]
10Jerzy Tomasik [4]
11Maxim Vsemirnov [16]
12Alex Wilkie [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)