Discover open access scientific publications

Search, annotate, share and cite publications

Publications by STEFFEN VAN BAKEL

Computation With Classical Sequents

Mathematical Structures in Computer Science

Computer Science Applications

English

Related publications

The Computation of Classical Constants

Proceedings of the National Academy of Sciences of the United States of America

Multidisciplinary

English

A Lambda Calculus for Quantum Computation With Classical Control

Mathematical Structures in Computer Science

Computer Science Applications

English

Paraconsistent Negation and Classical Negation in Computation Tree Logic

English

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

Physical Review Letters

English

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

Symposium - International Astronomical Union

English

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

Physical Review B

English

Quantum Computation With Photons

Nanotechnology Perceptions

Materials Science

Condensed Matter Physics

English

Bayesian Computation With R

English

Open-Channel Computation With R

Numerical Analysis

English