Towards a Calculus of Algorithms

Bulletin of the Australian Mathematical Society - United Kingdom
doi 10.1017/s000497270000959x
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Towards a Two-Scale Calculus

ESAIM - Control, Optimisation and Calculus of Variations
ControlComputational MathematicsOptimizationSystems Engineering
2006English

Towards a Cut-Free Sequent Calculus for Boolean BI

English

Towards a Calculus for Non-Linear Spectral Gaps: [Extended Abstract]

2010English

Towards Gradually Typed Capabilities in the Pi-Calculus

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

Towards a Functional Calculus for Subnormal Tuples: The Minimal Normal Extension

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1991English

Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus

EasyChair Preprints
2018English

Towards the Verification of Hybrid Co-Simulation Algorithms

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Dag-Calculus: A Calculus for Parallel Computation

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy