Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ralph Back
Structured Calculational Proof
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Calculational Models of Pot Calcination
Rapid Calculational Method for Multigroup Elastic Transfer
A Rapid Calculational Method for Multigroup Elastic Transfer
Nuclear Science and Engineering
Engineering
Nuclear Energy
Informal Proof, Formal Proof, Formalism
Review of Symbolic Logic
Mathematics
Philosophy
Logic
Structured Tools for Structured Matrices
Electronic Journal of Linear Algebra
Number Theory
Algebra
Proof-Carrying Code With Untrusted Proof Rules
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL
Philosophy
Structured Abstracts
Optical Engineering
Engineering
Optics
Atomic
Molecular Physics,
The Proof
The Iowa Review
