Skip to content
<title>Channels - Canonical calculi with (n,k)-ary quantifiers :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Canonical calculi with (n,k)-ary quantifiers
Search for more channels:
Similar Items: Canonical calculi with (n,k)-ary quantifiers
Channel Options
View Record
Explore related channels
Quick Look
On absorption in semigroups and $n$-ary semigroups
Quick Look
Canonicity and homotopy canonicity for cubical type theory
Quick Look
The Complexity of Enriched Mu-Calculi
Quick Look
Automated Synthesis of Tableau Calculi
Quick Look
Rigorous Function Calculi in Ariadne
Quick Look
Enriched MU-Calculi Module Checking
Quick Look
Constructive Canonicity of Inductive Inequalities
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
Feasible Interpolation for QBF Resolution Calculi
Quick Look
Rule Formats for Nominal Process Calculi
Quick Look
Dual-Context Calculi for Modal Logic
Quick Look
Psi-Calculi Revisited: Connectivity and Compositionality
Quick Look
Multibit neural inference in a N-ary crossbar architecture
Quick Look
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
Quick Look
Permutation-based Strategies for Labeled Chip-Firing on $k$-ary Trees
Quick Look
A Sorted Semantic Framework for Applied Process Calculi
Quick Look
Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Quick Look
An expressive completeness theorem for coalgebraic modal mu-calculi
Quick Look
Canonical Models and the Complexity of Modal Team Logic
Quick Look
Minimization and Canonization of GFG Transition-Based Automata
Quick Look
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Quick Look
Non-idempotent types for classical calculi in natural deduction style
Quick Look
Psi-calculi: a framework for mobile processes with nominal data and logic
Quick Look
Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
Load more items
View Record
Prev
Explore related channels
Next
