A | |
| Antimirov |
Antimirov' partial derivatives for symbolic KAT expressions
|
B | |
| Brzozowski |
Brzozowski's derivatives for symbolic KAT expressions
|
I | |
| IlieYu |
Ilie and Yu's construction extended to symbolic KAT expressions
|
K | |
| Kat |
Kleene algebra with tests (KAT) expressions
|
P | |
| Parse |
Parser for KAT expressions
|
S | |
| Symkat |
High-level interface of the library, main entry point for standalone program
|