Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by PAOLO DI GIAMBERARDINO
Jump From Parallel to Sequential Proofs: Exponentials
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Related publications
From Tests to Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parallel and Sequential Optical Computing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
From Typed-Functional Semantic Web Services to Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
ParSeq: Parallel Execution of Sequential Data Analysis Applied to XAFS
Acta Crystallographica Section A: Foundations and Advances
Materials Science
Condensed Matter Physics
Theoretical Chemistry
Biochemistry
Structural Biology
Inorganic Chemistry
Physical
Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Parallel and Sequential Testing of Design Alternatives
Management Science
Management Science
Management
Operations Research
Strategy
Sequential and Parallel Synchronous Alternating Iterative Methods
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures
IFIP International Federation for Information Processing