Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alex Pelin
A Formalism for Treating Equivalence of Recursive Procedures
RAIRO. Informatique théorique
Related publications
Proof Rules for Recursive Procedures
Formal Aspects of Computing
Theoretical Computer Science
Software
Recursive Equivalence Types and Octahedra
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
Real-Time Recursive Procedures
On the Origin of Recursive Procedures
Computer Journal
Computer Science
Predicate Transformers for Recursive Procedures With Local Variables
Formal Aspects of Computing
Theoretical Computer Science
Software
A Comparison of Differential Reinforcement Procedures for Treating Automatically Reinforced Behavior
Journal of Applied Behavior Analysis
Applied Psychology
Philosophy
Sociology
Political Science
On the Equivalence of Recursive and Nonrecursive Datalog Programs
Statistical Method for the Determination of Equivalence of Automated Test Procedures
Journal of Automated Methods & Management in Chemistry
Automatic Verification of Recursive Procedures With One Integer Parameter
Theoretical Computer Science
Computer Science
Theoretical Computer Science
