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á bibliografie

Vydáno v:	Logical methods in computer science Ročník 20, Issue 2
Hlavní autoři:	Pous, Damien, Rot, Jurriaan, Wagemaker, Jana
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Logical Methods in Computer Science Association 16.05.2024 Logical Methods in Computer Science e.V
Témata:	Computer Science computer science - logic in computer science Mathematics
ISSN:	1860-5974, 1860-5974
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!