Skip to content
<title>Channels - Initial Algebra Semantics for Cyclic Sharing Tree Structures :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Search for more channels:
Similar Items: Initial Algebra Semantics for Cyclic Sharing Tree Structures
Channel Options
View Record
Explore related channels
Quick Look
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Quick Look
Regular Tree Algebras
Quick Look
Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
Quick Look
Structurally Cyclic Petri Nets
Quick Look
Initial Semantics for Reduction Rules
Quick Look
Presentable signatures and initial semantics
Quick Look
Algebraic and logical descriptions of generalized trees
Quick Look
The Power-Set Construction for Tree Algebras
Quick Look
Failure Trace Semantics for a Process Algebra with Time-outs
Quick Look
Wreath Products of Forest Algebras, with Applications to Tree Logics
Quick Look
Algebraic Structure of Combined Traces
Quick Look
On the algebraic structure of Weihrauch degrees
Quick Look
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
Quick Look
On the logical complexity of cyclic arithmetic
Quick Look
Aspects of algebraic Algebras
Quick Look
Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
Quick Look
Fuzzy Networks for Modeling Shared Semantic Knowledge
Quick Look
A categorical semantics for causal structure
Quick Look
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
Quick Look
Algebraic Language Theory for Eilenberg--Moore Algebras
Quick Look
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
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
Load more items
View Record
Prev
Explore related channels
Next
