Proof Rules for Recursive Procedures

Formal Aspects of Computing - United Kingdom
doi 10.1007/bf01211249
Full Text
Abstract

Available in full text

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

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

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

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

Privacy PolicyRefund Policy