Skip to content
<title>Channels - On the logical complexity of cyclic arithmetic :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
On the logical complexity of cyclic arithmetic
Search for more channels:
Similar Items: On the logical complexity of cyclic arithmetic
Channel Options
View Record
Explore related channels
Quick Look
Bounded Arithmetic in Free Logic
Quick Look
Logic for exact real arithmetic
Quick Look
Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic
Quick Look
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Quick Look
Modular Path Queries with Arithmetic
Quick Look
Fusible numbers and Peano Arithmetic
Quick Look
Presburger Arithmetic with algebraic scalar multiplications
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
Quick Look
Decidability of extensions of Presburger arithmetic by generalised polynomials
Quick Look
Structurally Cyclic Petri Nets
Quick Look
The Data Complexity of Description Logic Ontologies
Quick Look
Type classes for efficient exact real arithmetic in Coq
Quick Look
On Presburger arithmetic extended with non-unary counting quantifiers
Quick Look
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Quick Look
Canonical Models and the Complexity of Modal Team Logic
Quick Look
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Quick Look
From coinductive proofs to exact real arithmetic: theory and applications
Quick Look
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Quick Look
The Complexity of Model Checking Higher-Order Fixpoint Logic
Quick Look
The height of piecewise-testable languages and the complexity of the logic of subwords
Quick Look
On the decidability and complexity of Metric Temporal Logic over finite words
Quick Look
The complexity of linear-time temporal logic over the class of ordinals
Quick Look
Complexity results for modal logic with recursion via translations and tableaux
Load more items
View Record
Prev
Explore related channels
Next
