KLEENE ALGEBRAS ARE ALMOST UNIVERSAL

KLEENE ALGEBRAS ARE ALMOST UNIVERSAL

Bibliographic Details
Main Authors:	Adams, M, Priestley, H
Format:	Journal article
Published:	1986

Similar Items

Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Kleene Algebra with Hypotheses
by: Doumane, A, et al.
Published: (2019)

Foundations of Concurrent Kleene Algebra
by: Hoare, C, et al.
Published: (2009)

Deciding Kleene Algebras in Coq
by: Thomas Braibant, et al.
Published: (2012-03-01)

Concurrent Kleene Algebra and its Foundations
by: Hoare, T, et al.
Published: (2011)

Position Automata for Kleene Algebra with Tests
by: A. Silva
Published: (2012-12-01)

On Tools for Completeness of Kleene Algebra with Hypotheses
by: Damien Pous, et al.
Published: (2024-05-01)

Algebraic coherent confluence and higher globular Kleene algebras
by: Cameron Calk, et al.
Published: (2022-11-01)

Completeness Theorems for Kleene algebra with tests and top
by: Damien Pous, et al.
Published: (2024-09-01)

Equivalence checking for weak bi-Kleene algebra
by: Tobias Kappé, et al.
Published: (2021-08-01)

Modularizing the Elimination of r=0 in Kleene Algebra
by: Christopher Hardin
Published: (2005-12-01)

Kleene Algebra to Compute Invariant Sets of Dynamical Systems
by: Thomas Le Mézo, et al.
Published: (2022-03-01)

DE-MORGAN ALGEBRAS ARE UNIVERSAL
by: Adams, M, et al.
Published: (1987)

Non-Deterministic Kleene Coalgebras
by: Alexandra Silva, et al.
Published: (2010-09-01)

Modified Kleene Star Algorithm Using Max-Plus Algebra and Its Application in the Railroad Scheduling Graphical User Interface
by: Ema Carnia, et al.
Published: (2023-01-01)

Algebraic characterizations of almost invariance
Published: (2002)

EQUATIONAL BASES FOR VARIETIES OF OCKHAM ALGEBRAS
by: Adams, M, et al.
Published: (1994)

Characterization of Almost Semi-Heyting Algebra
by: Srikanth V.V.V.S.S.P.S., et al.
Published: (2020-12-01)

Overlap Algebras as Almost Discrete Locales
by: Francesco Ciraulo
Published: (2023-12-01)

Almost Generalized Derivation on Banach Algebras
by: Jae-Hyeong Bae, et al.
Published: (2022-12-01)

‎Gautama and Almost Gautama Algebras and their associated logics
by: Juan M. Cornejo, et al.
Published: (2023-11-01)

Kajian keberkesanan sistem hi - kleen dalam mengolah air sisa domestik /
by: 206810 Muhammad Noor Zakariya, et al.
Published: (2007)

Unjuran kos kitaran hayat loji rawatan kumbahan sistem Hi-Kleen /
by: 380425 Sallehuddin Yusoff Wahbi
Published: (2002)

Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
by: Priestley, H, et al.
Published: (2007)

Canonical and almost canonical spin polynomials of an algebraic surface
by: Tyurin, A
Published: (1995)

Asymptotic Behavior of Almost Quartic ⁎-Derivations on Banach ⁎-Algebras
by: Hark-Mahn Kim, et al.
Published: (2019-01-01)

Automatic Continuity of Almost Derivations on Frechet $Q$-Algebras
by: Sıva G, et al.
Published: (2022-06-01)

Kajian keberkesanan sistem hi - kleen dalam mengolah air sisa domestik [electronic resource] /
by: 206810 Muhammad Noor Zakariya, et al.
Published: (2007)

Locally conformally balanced metrics on almost abelian Lie algebras
by: Paradiso Fabio
Published: (2021-07-01)

Non-canonicity of MV-algebras
by: Gehrke, M, et al.
Published: (2002)

The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
by: Kleene Symposium (1978 : University of Wisconsin-Madison), et al.
Published: (1980)

Kajian perbandingan kualiti efluen domestik antara sistem rawatan hi-kleen dan sistem IMHOFF /
by: 368978 Madzura Mohamad, et al.
Published: (2010)

Almost Kaehlerian and Hermitian Structures on Four Dimensional Indecomposable Lie Algebras
by: Mehmet Solgun
Published: (2022-09-01)

Endodualisable and endoprimal finite double Stone algebras
by: Haviar, M, et al.
Published: (2008)

Endodualisable and endoprimal finite double Stone algebras
by: Haviar, M, et al.
Published: (1999)

Coproducts of distributive lattice-based algebras
by: Cabrer, L, et al.
Published: (2014)

REES CONGRUENCES IN LATTICE-ORDERED ALGEBRAS
by: Bordalo, G, et al.
Published: (1994)

Duality for double quasioperator algebras via their canonical extensions
by: Gehrke, M, et al.
Published: (2007)

A criterion for a finite endoprimal algebra to be endodualisable
by: Haviar, M, et al.
Published: (1999)

On Priestley spaces of lattice-ordered algebraic structures
by: Martinez, N, et al.
Published: (1998)