Frédéric Olive

zbMath Openolive.fredericMaRDI QIDQ295630

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Locally definable vertex set properties are efficiently enumerable Discrete Applied Mathematics	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 Journal of Computer and System Sciences	2016-06-13	Paper
Parameterized enumeration for modification problems Language and Automata Theory and Applications	2016-04-08	Paper
Descriptive complexity for pictures languages	2012-11-22	Paper
Enumerating all solutions of a Boolean CSP by non-decreasing weight Theory and Applications of Satisfiability Testing - SAT 2011	2011-06-17	Paper
First-Order Queries over One Unary Function Computer Science Logic	2009-03-12	Paper
Computing thejth solution of a first-order query RAIRO - Theoretical Informatics and Applications	2008-07-21	Paper
Graph properties checkable in linear time in the number of vertices Journal of Computer and System Sciences	2004-08-10	Paper
scientific article; zbMATH DE number 2079027 (Why is no real title available?)	2004-07-21	Paper
Une axiomatisation au premier ordre des arrangements de pseudodroites euclidiennes. (A first-order axiomatisation of arrangements of Euclidean pseudolines.) Annales de l’institut Fourier	1999-07-12	Paper
scientific article; zbMATH DE number 1223631 (Why is no real title available?)	1999-06-21	Paper
Monadic logical definability of nondeterministic linear time Computational Complexity	1999-05-24	Paper
Rudimentary Languages and Second‐Order Logic Mathematical Logic Quarterly	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