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...

Celý popis

Podrobná bibliografia

Vydané v:	Logical methods in computer science Ročník 20, Issue 2
Hlavní autori:	Pous, Damien, Rot, Jurriaan, Wagemaker, Jana
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Logical Methods in Computer Science Association 16.05.2024 Logical Methods in Computer Science e.V
Predmet:	Computer Science computer science - logic in computer science Mathematics
ISSN:	1860-5974, 1860-5974
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!