Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by G. Dowek
Enumerating Proofs of Positive Formulae
Computer Journal
Computer Science
Higher-Order Unification via Explicit Substitutions
Related publications
A Characterization of Positive Quadrature Formulae
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
Enumerating Subgroups
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
Enumerating Buckminsterfullerane Isomers
Science
Multidisciplinary
Philosophy of Science
History
Clinical Methods of Enumerating Leucocytes
BMJ
Enumerating Limit Groups
Groups, Geometry, and Dynamics
Combinatorics
Geometry
Topology
Discrete Mathematics
Enumerating Split-Pair Arrangements
Journal of Combinatorial Theory - Series A
Combinatorics
Computational Theory
Discrete Mathematics
Theoretical Computer Science
Mathematics
Enumerating Left Distributive Groupoids
Czechoslovak Mathematical Journal
Mathematics
MOLECULAR BIOLOGY: Enumerating Choices
Science
Multidisciplinary
Philosophy of Science
History
Enumerating Well-Typed Terms Generically
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science