The following pages link to Patrick Cégielski (Q1401348):
Displaying 40 items.
- (Q198148) (redirect page) (← links)
- (Q234704) (redirect page) (← links)
- (Q843595) (redirect page) (← links)
- Nonmaximal decidable structures (Q843596) (← links)
- Tree inclusions in windows and slices (Q843598) (← links)
- Multiple serial episodes matching (Q844201) (← links)
- The elementary theory of the natural lattice is finitely axiomatizable (Q916643) (← links)
- Destinies and decidability (Q937910) (← links)
- On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity. (Q1401351) (← links)
- Congruence preserving functions on free monoids (Q1686332) (← links)
- Definability, decidability, complexity (Q1817073) (← links)
- On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537) (← links)
- Study of stepwise simulation between ASM (Q2179358) (← links)
- Affine completeness of the algebra of full binary trees (Q2217772) (← links)
- On lattices of regular sets of natural integers closed under decrementation (Q2445906) (← links)
- Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials (Q2830401) (← links)
- Integral Difference Ratio Functions on Integers (Q2944896) (← links)
- Arithmetical Congruence Preservation: From Finite to Infinite (Q2947175) (← links)
- (Q3043148) (← links)
- (Q3172121) (← links)
- Window Subsequence Problems for Compressed Texts (Q3434688) (← links)
- Newton representation of functions over natural integers having integral difference ratios (Q3451555) (← links)
- (Q3480176) (← links)
- Tree inclusion problems (Q3514631) (← links)
- Weakly maximal decidable structures (Q3514639) (← links)
- Normalization of Some Extended Abstract State Machines (Q3586002) (← links)
- (Q3707987) (← links)
- (Q3874170) (← links)
- (Q3929714) (← links)
- (Q3934367) (← links)
- (Q4501633) (← links)
- La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable (Q4509362) (← links)
- (Q4697160) (← links)
- Definability and decidability issues in extensions of the integers with the divisibility predicate (Q4894724) (← links)
- The algebra of binary trees is affine complete (Q5024662) (← links)
- Affine Completeness of Some Free Binary Algebras (Q5038564) (← links)
- (Q5445159) (← links)
- (Q5750978) (← links)
- Decidability of the theory of the natural integers with the Cantor pairing function and the successor (Q5941253) (← links)
- Window-accumulated subsequence matching problem is linear (Q5957906) (← links)
