Theory of Computation Group
[
English
|
Japanese
]
Home
Research
Minor Projects
Members
Software
Software
CoLL and Saigawa
confluence tools
ARI-COPS
Confluence Problems Database
Maxcomp
a completion tool