Jump From Parallel to Sequential Proofs: Exponentials

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

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

From Tests to Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Parallel and Sequential Optical Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Autonomous Units to Model Interacting Sequential and Parallel Processes

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

From Typed-Functional Semantic Web Services to Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

ParSeq: Parallel Execution of Sequential Data Analysis Applied to XAFS

Acta Crystallographica Section A: Foundations and Advances
Materials ScienceCondensed Matter PhysicsTheoretical ChemistryBiochemistryStructural BiologyInorganic ChemistryPhysical
2017English

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1984English

Parallel and Sequential Testing of Design Alternatives

Management Science
Management ScienceManagementOperations ResearchStrategy
2001English

Sequential and Parallel Synchronous Alternating Iterative Methods

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
2003English

From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures

IFIP International Federation for Information Processing
English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy