Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Virgile Mogbil
Quadratic Correctness Criterion for Non-Commutative Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Proof Automation for Functional Correctness in Separation Logic
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Logic for Knowledge, Correctness, and Real Time
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Categorical Non-Commutative Geometry
Journal of Physics: Conference Series
Astronomy
Physics
Generalized Non-Commutative Tori
Studia Mathematica
Mathematics
Commutative Non-ArchimedeanC∗-Algebras
Pacific Journal of Mathematics
Mathematics
On Non-Commutative Minkowski Spheres
Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Applied Mathematics
Analysis
Non-Commutative Deformation Rings
Prime Non-Commutative JB *-Algebras
Bulletin of the London Mathematical Society
Mathematics
Natural Deduction Systems for Some Non-Commutative Logics
Logic and Logical Philosophy
Philosophy
