A Formalism for Treating Equivalence of Recursive Procedures

RAIRO. Informatique théorique

doi 10.1051/ita/1985190302931

Full Text

Abstract

Available in

Date

Authors

Publisher

EDP Sciences

Related search

Proof Rules for Recursive Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1993English

Recursive Equivalence Types and Octahedra

Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
1983English

Real-Time Recursive Procedures

English

On the Origin of Recursive Procedures

Computer Journal
Computer Science
2014English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

A Comparison of Differential Reinforcement Procedures for Treating Automatically Reinforced Behavior

Journal of Applied Behavior Analysis
Applied PsychologyPhilosophySociologyPolitical Science
2019English

On the Equivalence of Recursive and Nonrecursive Datalog Programs

1992English

Statistical Method for the Determination of Equivalence of Automated Test Procedures

Journal of Automated Methods & Management in Chemistry
2003English

Automatic Verification of Recursive Procedures With One Integer Parameter

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy