Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by T. Stokes
Towards a Calculus of Algorithms
Bulletin of the Australian Mathematical Society
Mathematics
Related publications
Towards a Two-Scale Calculus
ESAIM - Control, Optimisation and Calculus of Variations
Control
Computational Mathematics
Optimization
Systems Engineering
Towards a Cut-Free Sequent Calculus for Boolean BI
Towards a Calculus for Non-Linear Spectral Gaps: [Extended Abstract]
Towards Gradually Typed Capabilities in the Pi-Calculus
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Towards a Functional Calculus for Subnormal Tuples: The Minimal Normal Extension
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Towards Swarm Calculus: Universal Properties of Swarm Performance and Collective Decisions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Semantic Measure of the Execution Time in Call-By-Value Lambda-Calculus
EasyChair Preprints
Towards the Verification of Hybrid Co-Simulation Algorithms
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dag-Calculus: A Calculus for Parallel Computation
