Skip to content
<title>Channels - Automated Synthesis of Tableau Calculi :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Automated Synthesis of Tableau Calculi
Search for more channels:
Similar Items: Automated Synthesis of Tableau Calculi
Channel Options
View Record
Explore related channels
Quick Look
The Complexity of Enriched Mu-Calculi
Quick Look
Rigorous Function Calculi in Ariadne
Quick Look
Automated Synthesis of Distributed Self-Stabilizing Protocols
Quick Look
Strong normalisation for applied lambda calculi
Quick Look
Enriched MU-Calculi Module Checking
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
Canonical calculi with (n,k)-ary quantifiers
Quick Look
Coalgebraic Satisfiability Checking for Arithmetic $mu$-Calculi
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
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
Quick Look
Complete Call-by-Value Calculi of Control Operators II: Strong Termination
Quick Look
On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
Quick Look
Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi
Quick Look
Parameterized Synthesis
Quick Look
On the mathematical synthesis of equational logics
Quick Look
The Church Synthesis Problem with Parameters
Load more items
View Record
Prev
Explore related channels
Next
