Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Richard J. Trefler

On the Completeness of Compositional Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Related publications

Some Results on the Completeness of Approximation Based Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Compositional Reasoning in Early Childhood

PLoS ONE
Multidisciplinary
2016English

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1996English

SIMPAL: A Compositional Reasoning Framework for Imperative Programs

English

A Completeness of Metrics for Topological Relations in 3D Qualitative Spatial Reasoning

Polibits
2015English

Leveraging Weighted Automata in Compositional Reasoning About Concurrent Probabilistic Systems

ACM SIGPLAN Notices
Computer Science
2015English

On the Completeness of Symmetric Group Sn

International Journal of Algebra
2015English

On Completeness of the Products of Harmonic Functions

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1986English

On Generic Np-Completeness of the Boolean Satisfiability Problem

Prikladnaya Diskretnaya Matematika
Signal ProcessingCombinatoricsApplied MathematicsMathematicsDiscrete MathematicsComputational TheoryTheoretical Computer Science
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy