Enumerating Proofs of Positive Formulae

Computer Journal - United Kingdom
doi 10.1093/comjnl/bxn029
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

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

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

Privacy PolicyRefund Policy