Skip to content
<title>Channels - From formulas to cirquents in computability logic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
From formulas to cirquents in computability logic
Search for more channels:
Similar Items: From formulas to cirquents in computability logic
Channel Options
View Record
Explore related channels
Quick Look
The Computational Complexity of Propositional Cirquent Calculus
Quick Look
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Quick Look
Tree-width for first order formulae
Quick Look
Subspace-Invariant AC$^0$ Formulas
Quick Look
Computation Tree Logic with Deadlock Detection
Quick Look
On the system CL12 of computability logic
Quick Look
Boolean basis, formula size, and number of modal operators
Quick Look
Hardness of monadic second-order formulae over succinct graphs
Quick Look
Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
Quick Look
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
Quick Look
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
Quick Look
Neural networks as fuzzy logic formulas
Quick Look
Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
Quick Look
Logical Step-Indexed Logical Relations
Quick Look
Logical Concurrency Control from Sequential Proofs
Quick Look
Matching Logic
Quick Look
Flow Logic
Quick Look
Learning and Designing Stochastic Processes from Logical Constraints
Quick Look
From Logic to Biology via Physics: a survey
Quick Look
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Quick Look
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Quick Look
Logical properties of random graphs from small addable classes
Quick Look
On the Expressiveness of the Ambient Logic
Quick Look
Separability in the Ambient Logic
Load more items
View Record
Prev
Explore related channels
Next
