| 













 | |  | |  |
Window-Accumulated Subsequence Matching Problem is Linear
Note: Links lead to the DBLP on the Web.
Patrick Cegielski
4
Luc Boasson
, Patrick Cegielski,
Irène Guessarian
,
Yuri Matiyasevich
: Window-Accumulated Subsequence Matching Problem is Linear.
PODS 1999
: 327-336
3
Patrick Cegielski,
Denis Richard
: On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.
TCS 222
(1-2): 55-75 (1999)
2
Patrick Cegielski,
Leszek Pacholski
,
Denis Richard
,
Jerzy Tomasik
,
Alex Wilkie
: Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.
Annals of Pure and Applied Logic 89
(1): 1 (1997)
1
Patrick Cegielski: Definability, Decidability, Complexity.
Annals of Mathematics and Artificial Intelligence 16
: 311-341 (1996)
Copyright(C) 2000 ACM | | | | | | |