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.
|