Proof Rules for Recursive Procedures

Formal Aspects of Computing- United Kingdom

doi 10.1007/bf01211249

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Science and Business Media LLC

Related search

Real-Time Recursive Procedures

English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

A Formalism for Treating Equivalence of Recursive Procedures

RAIRO. Informatique théorique
1985English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

On the Origin of Recursive Procedures

Computer Journal
Computer Science
2014English

Proof Without Words: Limit of a Recursive Arithmetic Mean

Mathematics Magazine
Mathematics
2016English

Maximal Domains for Strategy-Proof or Maskin Monotonic Choice Rules

SSRN Electronic Journal
2008English

Automatic Verification of Recursive Procedures With One Integer Parameter

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2003English

From Mathematical Axioms to Mathematical Rules of Proof: Recent Developments in Proof Analysis

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy