Skip to content
<title>Channels - Dynamic Dependency Pairs for Algebraic Functional Systems :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Dynamic Dependency Pairs for Algebraic Functional Systems
Search for more channels:
Similar Items: Dynamic Dependency Pairs for Algebraic Functional Systems
Channel Options
View Record
Explore related channels
Quick Look
The Derivational Complexity Induced by the Dependency Pair Method
Quick Look
Algebraic Presentations of Type Dependency
Quick Look
Aspects of algebraic Algebras
Quick Look
An Effect System for Algebraic Effects and Handlers
Quick Look
Pebble Games and Algebraic Proof Systems
Quick Look
Regular Cost Functions, Part I: Logic and Algebra over Words
Quick Look
Algebraic Language Theory for Eilenberg--Moore Algebras
Quick Look
The Shapley Value of Inconsistency Measures for Functional Dependencies
Quick Look
Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative
Quick Look
Algebraic coherent confluence and higher globular Kleene algebras
Quick Look
Elgot Algebras
Quick Look
Overlap Algebras: a Constructive Look at Complete Boolean Algebras
Quick Look
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Quick Look
Mutually Dependent Markers in Clause Pairs
Quick Look
Algebraic Notions of Termination
Quick Look
Epistemic Updates on Algebras
Quick Look
Handling Algebraic Effects
Quick Look
Inferring Algebraic Effects
Quick Look
Regular Tree Algebras
Quick Look
Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
Quick Look
Formal Theories for Linear Algebra
Quick Look
Deciding Kleene Algebras in Coq
Quick Look
Conway games, algebraically and coalgebraically
Quick Look
Algebraic Structure of Combined Traces
Load more items
View Record
Prev
Explore related channels
Next
