Patrick Cégielski

	2010
19		Patrick Cégielski, Irène Guessarian: Normalization of Some Extended Abstract State Machines. Fields of Logic and Computation 2010: 165-180
	2008
18		Alexis Bès, Patrick Cégielski: Weakly maximal decidable structures. ITA 42(1): 137-145 (2008)
17		Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Tree inclusion problems. ITA 42(1): 5-20 (2008)
	2007
16		Patrick Cégielski, Denis Richard, Maxim Vsemirnov: On the Additive Theory of Prime Numbers. Fundam. Inform. 81(1-3): 83-96 (2007)
	2006
15		Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich: Window Subsequence Problems for Compressed Texts. CSR 2006: 127-136
14		Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Multiple serial episode matching CoRR abs/cs/0603050: (2006)
13		Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Multiple serial episodes matching. Inf. Process. Lett. 98(6): 211-218 (2006)
12		Ruy J. G. B. de Queiroz, Patrick Cégielski: Preface. Theor. Comput. Sci. 364(2): 143-145 (2006)
	2005
11		Ruy J. G. B. de Queiroz, Patrick Cégielski: Preface. Electr. Notes Theor. Comput. Sci. 123: 1-3 (2005)
	2004
10		Patrick Cégielski, Malika More: Foreword. Theor. Comput. Sci. 322(1): 1-3 (2004)
	2003
9		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. 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)
7		Patrick 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
6		Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich: Window-Accumulated Subsequence Matching Problem is Linear. PODS 1999: 327-336
5		Patrick 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

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page