Higher-Order Pattern Unification Modulo Similarity Relations
From MaRDI portal
Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
This page was built for publication: Higher-Order Pattern Unification Modulo Similarity Relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7185414)
