On Tools for Completeness of Kleene Algebra with Hypotheses

In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and the recent Kleene algebra with observations (KAO), or make specific assumptions about certain constants, as for instance i...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 20, Issue 2
Main Authors:	Pous, Damien, Rot, Jurriaan, Wagemaker, Jana
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science Association 16.05.2024 Logical Methods in Computer Science e.V
Subjects:	Computer Science computer science - logic in computer science Mathematics
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!