Quadratic Correctness Criterion for Non-Commutative Logic

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-44802-0_6
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Proof Automation for Functional Correctness in Separation Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2014English

A Logic for Knowledge, Correctness, and Real Time

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Categorical Non-Commutative Geometry

Journal of Physics: Conference Series
AstronomyPhysics
2012English

Generalized Non-Commutative Tori

Studia Mathematica
Mathematics
2002English

Commutative Non-ArchimedeanC∗-Algebras

Pacific Journal of Mathematics
Mathematics
1978English

On Non-Commutative Minkowski Spheres

Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Applied MathematicsAnalysis
2012English

Non-Commutative Deformation Rings

English

Prime Non-Commutative JB *-Algebras

Bulletin of the London Mathematical Society
Mathematics
2000English

Natural Deduction Systems for Some Non-Commutative Logics

Logic and Logical Philosophy
Philosophy
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy