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 SizeFormat
abstract.pdf52KbAdobe PDFView/Open
paper.pdf516KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.

 


Contact : Library Information Section, Japan Advanced Institute of Science and Technology