Bucknell Digital Commonsmetadata only
Toward Completeness Theorem for Guarded Kleene Algebra with Tests
guarded kleene algebra with tests, completeness theorem, automata, bisimulation, program equivalence, equational reasoning, algebra, logic and foundations
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 168587
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.