ERD

Stone duality, topological algebra, and recognition

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Duality in Computer Science

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

A survey on difference hierarchies of regular languages

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

An open mapping theorem for finitely copresented Esakia spaces

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Newton series, coinductively: a comparative study of composition

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Quantifiers on languages and codensity monads

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

The Schützenberger product for syntactic spaces

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Canonical extensions: an algebraic approach to Stone duality

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

An Isbell duality theorem for type refinement systems

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Uniform Birkhoff

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

The κ -word problem over DRH

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Logic and regular cost functions

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Stone Duality and the Substitution Principle

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Some reducibility properties for pseudovarieties of the form DRH

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

INEQUALITIES FOR ONE-STEP PRODUCTS

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Automata in the Category of Glued Vector Spaces

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Up-To Techniques for Behavioural Metrics via Fibrations

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Cost automata, safe schemes, and downward closures

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Checking Admissibility Using Natural Dualities

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Automata Minimization: a Functorial Approach

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Poset Products as Relational Models

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Learning automata and transducers: A categorical approach

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Periodic Reporting for period 4 - DuaLL (Duality in Formal Languages and Logic - a unifying approach to complexity and s...

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Comprehension and Quotient Structures in the Language of 2-Categories

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Checking Admissibility Using Natural Dualities

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Codensity, profiniteness and algebras of semiring-valued measures

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Residuation algebras with functional duals

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Learning proofs for the classification of nilpotent semigroups

Project: DuaLL

Updated at: 27-04-2024

Show more information

Project acronym DuaLL

Resources

Selected filters:

Stone duality, topological algebra, and recognition

Duality in Computer Science

A survey on difference hierarchies of regular languages

An open mapping theorem for finitely copresented Esakia spaces

Newton series, coinductively: a comparative study of composition

Quantifiers on languages and codensity monads

The Schützenberger product for syntactic spaces

Canonical extensions: an algebraic approach to Stone duality

An Isbell duality theorem for type refinement systems

Uniform Birkhoff

The κ -word problem over DRH

Logic and regular cost functions

Stone Duality and the Substitution Principle

Some reducibility properties for pseudovarieties of the form DRH

Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations

INEQUALITIES FOR ONE-STEP PRODUCTS

Automata in the Category of Glued Vector Spaces

Up-To Techniques for Behavioural Metrics via Fibrations

Cost automata, safe schemes, and downward closures

Checking Admissibility Using Natural Dualities

Automata Minimization: a Functorial Approach

Poset Products as Relational Models

Learning automata and transducers: A categorical approach

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Periodic Reporting for period 4 - DuaLL (Duality in Formal Languages and Logic - a unifying approach to complexity and s...

Comprehension and Quotient Structures in the Language of 2-Categories

Checking Admissibility Using Natural Dualities

Codensity, profiniteness and algebras of semiring-valued measures

Residuation algebras with functional duals

Learning proofs for the classification of nilpotent semigroups