Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by MARTIN C. HENSON
On the Proof Theory of Program Transformations
Logic Journal of the IGPL
Philosophy
Related publications
On the 𝐾-Theory Proof of the Index Theorem
Contemporary Mathematics
Mathematics
Steward Program Proof of Concept Ends
The Transformations of Utility Theory: A Behavioral Perspective
Journal of Bioeconomics
Planning
Development
Economics
Econometrics
Geography
Direct Liquefaction Proof-Of-Concept Program
Program Development Through Proof Transformation
Contemporary Mathematics
Mathematics
Quantum Theory for Sustainability Transformations
Proving the Correctness of Recursion-Based Automatic Program Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Theory and Computational Analysis
BRICS Report Series
Contributions to the General Theory of Transformations of Nets
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
