Proof Theory and Computational Analysis

BRICS Report Series
doi 10.7146/brics.v4i30.18956
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Aarhus University Library

Related search

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Computational Number Theory

2017English

Computational Methods and Function Theory

Lecture Notes in Mathematics
Number TheoryAlgebra
1990English

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Number Theory: An Introduction to Proof.

American Mathematical Monthly
Mathematics
1972English

A Proof Theory for Machine Code

ACM Transactions on Programming Languages and Systems
Software
2007English

Prolegomena to Any Theory of Proof Simplicity

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

Computational Game Theory for Security and Sustainability

Journal of Information Processing
2014English

On the Proof Theory of Program Transformations

Logic Journal of the IGPL
Philosophy
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy