The following pages link to Frédéric Olive (Q295630):
Displaying 15 items.
- A logical approach to locality in pictures languages (Q295631) (← links)
- Graph properties checkable in linear time in the number of vertices (Q596315) (← links)
- Monadic logical definability of nondeterministic linear time (Q1266167) (← links)
- Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.) (Q1296148) (← links)
- Locally definable vertex set properties are efficiently enumerable (Q1983133) (← links)
- Parameterized Enumeration for Modification Problems (Q2799203) (← links)
- Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (Q3007678) (← links)
- Computing the<i>j</i>th solution of a first-order query (Q3514640) (← links)
- First-Order Queries over One Unary Function (Q3613347) (← links)
- (Q4218942) (← links)
- Rudimentary Languages and Second‐Order Logic (Q4351932) (← links)
- (Q4474839) (← links)
- (Q4649552) (← links)
- Definability by Horn formulas and linear time on cellular automata (Q5111431) (← links)
- On the enumeration of signatures of XOR-CNF's (Q6523891) (← links)
