Skip to content
<title>Channels - Algebraic and logical descriptions of generalized trees :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
Algebraic and logical descriptions of generalized trees
Search for more channels:
Similar Items: Algebraic and logical descriptions of generalized trees
Channel Options
View Record
Explore related channels
Quick Look
Wreath Products of Forest Algebras, with Applications to Tree Logics
Quick Look
Regular Tree Algebras
Quick Look
The Power-Set Construction for Tree Algebras
Quick Look
Logical and Algebraic Characterizations of Rational Transductions
Quick Look
Logic Meets Algebra: the Case of Regular Languages
Quick Look
Unification in the Description Logic EL
Quick Look
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Quick Look
Untyping Typed Algebras and Colouring Cyclic Linear Logic
Quick Look
Logics for Unranked Trees: An Overview
Quick Look
The Data Complexity of Description Logic Ontologies
Quick Look
Weighted Logics for Nested Words and Algebraic Formal Power Series
Quick Look
Computation Tree Logic with Deadlock Detection
Quick Look
Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
Quick Look
Regular Cost Functions, Part I: Logic and Algebra over Words
Quick Look
MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
Quick Look
The Complexity of Generalized Satisfiability for Linear Temporal Logic
Quick Look
Aspects of algebraic Algebras
Quick Look
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
Quick Look
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
Quick Look
Two-Way Unary Temporal Logic over Trees
Quick Look
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
Quick Look
Guarded Second-Order Logic, Spanning Trees, and Network Flows
Quick Look
Algebraic Language Theory for Eilenberg--Moore Algebras
Quick Look
Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Load more items
View Record
Prev
Explore related channels
Next
