A
Menu
December 19, 2014 conference-paper Open access

Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

DOI: 10.1145/2676726.2677007 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 22

3 results

References 0