Modular Tableaux Calculi for Separation Theories

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89366-2_24
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Parametric Completeness for Separation Theories

ACM SIGPLAN Notices
Computer Science
2014English

Parametric Completeness for Separation Theories

2014English

Modular Constraints on Superconformal Field Theories

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

Tableaux for Acceptance Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Modular Constructions of Quantum Field Theories With Interactions

Reviews in Mathematical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
2000English

Recent Progress in the Theories of Modular and Formal Invariants and in Modular Geometry

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1915English

Bijections for Permutation Tableaux

European Journal of Combinatorics
CombinatoricsMathematicsGeometryDiscrete MathematicsComputational TheoryTheoretical Computer ScienceTopology
2009English

Modular Reasoning About Separation of Concurrent Data Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Tutorial on Separation Results in Process Calculi via Leader Election Problems

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy