Discover open access scientific publications

Search, annotate, share and cite publications

Publications by G. Dowek

Enumerating Proofs of Positive Formulae

Computer Journal
Computer Science
2008English

Higher-Order Unification via Explicit Substitutions

English

Related publications

A Characterization of Positive Quadrature Formulae

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1994English

Enumerating Subgroups

Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
1987English

Enumerating Buckminsterfullerane Isomers

Science
MultidisciplinaryPhilosophy of ScienceHistory
1992English

Clinical Methods of Enumerating Leucocytes

BMJ
1905English

Enumerating Limit Groups

Groups, Geometry, and Dynamics
CombinatoricsGeometryTopologyDiscrete Mathematics
2009English

Enumerating Split-Pair Arrangements

Journal of Combinatorial Theory - Series A
CombinatoricsComputational TheoryDiscrete MathematicsTheoretical Computer ScienceMathematics
2008English

Enumerating Left Distributive Groupoids

Czechoslovak Mathematical Journal
Mathematics
1997English

MOLECULAR BIOLOGY: Enumerating Choices

Science
MultidisciplinaryPhilosophy of ScienceHistory
2005English

Enumerating Well-Typed Terms Generically

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy