Frédéric Olive

Available identifiers

zbMath Open olive.fredericMaRDI QIDQ295630

List of research outcomes

Publication	Date of Publication	Type
Locally definable vertex set properties are efficiently enumerable	2021-09-15	Paper
Definability by Horn formulas and linear time on cellular automata	2020-05-27	Paper
A logical approach to locality in pictures languages	2016-06-13	Paper
Parameterized Enumeration for Modification Problems	2016-04-08	Paper
https://portal.mardi4nfdi.de/entity/Q4649552	2012-11-22	Paper
Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight	2011-06-17	Paper
First-Order Queries over One Unary Function	2009-03-12	Paper
Computing thejth solution of a first-order query	2008-07-21	Paper
Graph properties checkable in linear time in the number of vertices	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4474839	2004-07-21	Paper
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.)	1999-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4218942	1999-06-21	Paper
Monadic logical definability of nondeterministic linear time	1999-05-24	Paper
Rudimentary Languages and Second‐Order Logic	1997-08-28	Paper
On the enumeration of signatures of XOR-CNF's	N/A	Paper

Research outcomes over time

This page was built for person: Frédéric Olive