Sage Journals: Discover world-class research

1-10 of 14 results for Kleene algebras

Sort by:

Relevance

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2005

On Finite Model Property of the Equational Theory of Kleene Algebras

Ewa Palka

Fundamenta Informaticae

Retricted access

Research article

First published 2015

Algebraic structures related to nilpotent minimum algebras and rough sets 1

Yanhong She, Xiaoli He

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2007

An Infinitary Sequent System for the Equational Theory of *-continuous Action Lattices

Ewa Palka

Fundamenta Informaticae

Retricted access

Research article

First published 2019-10

CospanSpan(Graph): a Compositional Description of the Heart System

Alessandro Gianola, Stefano Kasangian, Desiree Manicardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2024

Relation-Algebraic Verification of Disjoint-Set Forests

Walter Guttmann

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Infinitary Axiomatization of the Equational Theory of Context-Free Languages

Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen

Fundamenta Informaticae

Retricted access

Research article

First published 2017-3

Stochastic Semantics

Symeon Bozapalidis, George Rahonis

Fundamenta Informaticae

Retricted access

Research article

First published 1993

Recognizable and Rational Subsets of Algebras

Magnus Steinby

Fundamenta Informaticae

Retricted access

Research article

First published 2015

Algebraic and topological structures based on novel soft set relations

Min Zhou, Shenggang Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2019

Notions of semicomputability in topological algebras over the reals

Mark Armstrong, Jeffery Zucker

Computability

Search results