Research
Events
Projects
Blog
Works
About Us
Language
English
日本語
tag: solver
2019.11.16
Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value
Polymorphic Computation Systems: Theory and Practice of Confluence with Call-by-Value
rewriting
,
confluence
,
termination
,
solver