Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Christophe Tollu

dblp:73/2354 · DBLP profile ↗
← Back
6ranked-venue papers
0as first author
0since 2021 · last 2016
0009-0001-5006-3021ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 5Databases, data management, data science and information retrieval · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Logic in computer science · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › finite model theory
asymptotic probabilities
0.011993
Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993
Logic in computer science
finite model theory
0.011993
Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993
Logic in computer science › model theory
generalized quantifiers
0.011993
Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993
Logic in computer science › finite model theory
zero-one laws
0.011993
Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993
Logic in computer science
first-order logic
0.011993
Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993
Logic in computer science › finite model theory
preservation theorems
0.011993
Asymptotic Probabilities of Languages with Generalized Quantifiers · LICS 1993

Methods — techniques the papers use, named apart from their topics

model theory · 0.0generalized quantifiers · 0.0
YearPublicationVenuePosition
2016 Dual bases for noncommutative symmetric and quasi-symmetric functions via monoidal factorization
Van Chiên Bui, Gérard Duchamp, Vincel Hoang Ngoc Minh, Ladji Kane, Christophe Tollu
J. Symb. Comput.5
1995 On the Expressive Power of Counting
Stéphane Grumbach, Christophe Tollu
Theor. Comput. Sci.2
1993 Asymptotic Probabilities of Languages with Generalized Quantifiers
abstract
The impact of adding certain families of generalized quantifiers to first-order logic (FO) on the asymptotic behavior of sentences is studied. All the results are stated and proved for languages disallowing free variables in the scope of generalized quantifiers. For a class K of finite structures closed under isomorphism, the quantifier Q/sub K/ is said to be strongly monotonic, sm, if membership in the class is preserved under a loose form of extensions. The first theorem (O/1 law for FO with any set of sm quantifiers) subsumes a previous criterion for proving that almost no graphs satisfy a given property. A O/1 law for FO with Hartig quantifiers (equicardinality quantifiers) and a limit law for a fragment of FO with Rescher quantifiers (expressing inequalities of cardinalities) are also established. It is also proved that the O/1 law fails for the extension of FO with Hartig quantifiers if the above syntactic restriction is relaxed, giving the best upper bound for the existence of a O/1 law for FO with Hartig quantifiers.>
Guy Fayolle, Stéphane Grumbach, Christophe Tollu
LICS3
1993 Generating Plans in Linear Logic I. Actions as Proofs
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
Theor. Comput. Sci.2
1992 Query Languages with Counters
Stéphane Grumbach, Christophe Tollu
ICDT2
1990 Generating Plans in Linear Logic
M. Masseron, Christophe Tollu, Jacqueline Vauzeilles
FSTTCS2