Skip to content
<title>Channels - Aspect-oriented linearizability proofs :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Aspect-oriented linearizability proofs
Search for more channels:
Similar Items: Aspect-oriented linearizability proofs
Channel Options
View Record
Explore related channels
Quick Look
Linearizability with Ownership Transfer
Quick Look
Aspects of algebraic Algebras
Quick Look
A Proof of Kamp's theorem
Quick Look
A Proof of Stavi's Theorem
Quick Look
A Forgotten Theory of Proofs ?
Quick Look
On the characterization of models of H*: The semantical aspect
Quick Look
Coinductive Proof Principles for Stochastic Processes
Quick Look
On the strength of proof-irrelevant type theories
Quick Look
Width and size of regular resolution proofs
Quick Look
Proof equivalence in MLL is PSPACE-complete
Quick Look
An Analytic Propositional Proof System on Graphs
Quick Look
Proof complexity of positive branching programs
Quick Look
Pebble Games and Algebraic Proof Systems
Quick Look
From Proof Nets to the Free *-Autonomous Category
Quick Look
Classical BI: Its Semantics and Proof Theory
Quick Look
A Proof Theoretic Analysis of Intruder Theories
Quick Look
Logical Concurrency Control from Sequential Proofs
Quick Look
Interaction and Depth against Nondeterminism in Proof Search
Quick Look
Improving legibility of natural deduction proofs is not trivial
Quick Look
Proof-Relevant Logical Relations for Name Generation
Quick Look
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Quick Look
A Formal Proof of the Irrationality of $zeta(3)$
Quick Look
Computational expressivity of (circular) proofs with fixed points
Quick Look
Service-Oriented Logic Programming
Load more items
View Record
Prev
Explore related channels
Next
