Computation With Classical Sequents

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129508006762
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

The Computation of Classical Constants

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1989English

A Lambda Calculus for Quantum Computation With Classical Control

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2006English

Paraconsistent Negation and Classical Negation in Computation Tree Logic

2010English

High-Threshold Low-Overhead Fault-Tolerant Classical Computation and the Replacement of Measurements With Unitary Quantum Gates

Physical Review Letters
AstronomyPhysics
2017English

On the Computation of Accurate Earth Rotation by the Classical Astronomical Method

Symposium - International Astronomical Union
1979English

Computation of the Thermal Conductivity Using Methods Based on Classical and Quantum Molecular Dynamics

Physical Review B
2014English

Quantum Computation With Photons

Nanotechnology Perceptions
Materials ScienceEngineeringCondensed Matter PhysicsNanotechnologyNanoscience
2008English

Bayesian Computation With R

2007English

Open-Channel Computation With R

R Journal
UncertaintyNumerical AnalysisStatisticsProbability
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy