Skip to content
<title>Channels - Exact Unification and Admissibility :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Exact Unification and Admissibility
Search for more channels:
Similar Items: Exact Unification and Admissibility
Channel Options
View Record
Explore related channels
Quick Look
Unification and Logarithmic Space
Quick Look
Unification in the Description Logic EL
Quick Look
The Algebraic Intersection Type Unification Problem
Quick Look
Efficient Full Higher-Order Unification
Quick Look
Logic for exact real arithmetic
Quick Look
Admissibility in Finitely Generated Quasivarieties
Quick Look
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry
Quick Look
Coinductive Formal Reasoning in Exact Real Arithmetic
Quick Look
Exact and Approximate Determinization of Discounted-Sum Automata
Quick Look
Extending Unification in $mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification
Quick Look
Type classes for efficient exact real arithmetic in Coq
Quick Look
Integrity Constraints Revisited: From Exact to Approximate Implication
Quick Look
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
Quick Look
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Quick Look
One is all you need: Second-order Unification without First-order Variables
Quick Look
From coinductive proofs to exact real arithmetic: theory and applications
Quick Look
Semantics, Specification Logic, and Hoare Logic of Exact Real Computation
Quick Look
Determine the Exact Fault Location in Underground Cable: A Systematic Review
Quick Look
EXACT: An Explainable Anomaly Classification Tool
Quick Look
Exact and Approximate Algorithms for Polytree Learning
Quick Look
Association between delivery hospitalization blood pressure and severity of postpartum admissions for hypertension
Quick Look
Exact Dynamic Programming for Solow--Polasky Diversity Subset Selection on Lines and Staircases
Quick Look
Exact Inference for the Dispersion Matrix
Quick Look
An Exact 56-Addition, Rank-23 Scheme for General 3*3 Matrix Multiplication
Load more items
View Record
Prev
Explore related channels
Next
