|
JAIST Repository >
JAIST >
Theses >
Doctor of Philosophy（Information Science） >
H24) (Jun.2012 - Mar.2013 >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/10119/10560
|
| Title: | Equational Reasoning and Completion |
| Authors: | Klein, Dominik |
| Authors(alternative): | くらいん, どみにく |
| Keywords: | Term Rewriting
Rewriting
Confluence
Completion
Constraint Solving
MaxSAT
Relative Termination |
| Issue Date: | Jun-2012 |
| Description: | Supervisor: Mizuhito Ogawa
情報科学研究科
博士 |
| Title(English): | Equational Reasoning and Completion |
| Authors(English): | Klein, Dominik |
| Language: | eng |
| URI: | http://hdl.handle.net/10119/10560 |
| Appears in Collections: | D-IS. 2012年度(H24) (Jun.2012 - Mar.2013)
|
Files in This Item:
| File |
Description |
Size | Format |
|---|
| abstract.pdf | | 52Kb | Adobe PDF | View/Open | | paper.pdf | | 516Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
