Computation Calculus Bridging a Formalization Gap

Lecture Notes in Computer Science - Germany
doi 10.1007/bfb0054289
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Dag-Calculus: A Calculus for Parallel Computation

2016English

A Lambda Calculus for Quantum Computation

SIAM Journal on Computing
MathematicsComputer Science
2004English

Bridging the Gap

Chemical and Engineering News
Chemical Engineering
2003English

Bridging the Opinion Gap

Science
MultidisciplinaryPhilosophy of ScienceHistory
2015English

Interoperability: Bridging the Gap

International Journal of Computer Applications
2010English

The Hopi-Smithsonian Project: Bridging a Gap

Anthro Notes : A newsletter for teachers
2014English

Bridging the Gender Digital Gap

Economics
EconomicsEconometricsFinance
2019English

Bridging the Gap in Rheumatology

Annals of the Rheumatic Diseases
ImmunologyMolecular BiologyBiochemistryRheumatologyAllergyGenetics
2000English

A Lambda Calculus for Quantum Computation With Classical Control

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy