Completeness and the Finite Model Property for Kleene Algebra Reconsidered

Bibliographische Detailangaben

Veröffentlicht in:	International Conference on Relational and Algebraic Methods in Computer Science (20. : 2023 : Augsburg) Relational and algebraic methods in computer science
1. Verfasser:	Kappé, Tobias (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2023
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!