Structured Calculational Proof

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

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Calculational Models of Pot Calcination

1959English

Rapid Calculational Method for Multigroup Elastic Transfer

1973English

A Rapid Calculational Method for Multigroup Elastic Transfer

Nuclear Science and Engineering
EngineeringNuclear Energy
1974English

Informal Proof, Formal Proof, Formalism

Review of Symbolic Logic
MathematicsPhilosophyLogic
2015English

Structured Tools for Structured Matrices

Electronic Journal of Linear Algebra
Number TheoryAlgebra
2003English

Proof-Carrying Code With Untrusted Proof Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Automatic Learning of Proof Methods in Proof Planning

Logic Journal of the IGPL
Philosophy
2003English

Structured Abstracts

Optical Engineering
EngineeringOpticsAtomicMolecular Physics,
2018English

The Proof

The Iowa Review
1976English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy