学位论文详细信息
| Dynamic Order-Sorted Term-Rewriting Systems | |
| Computer science | |
| Matthews, Brian Martin | |
| University:University of Glasgow | |
| 关键词: Computer science; | |
| Others : http://theses.gla.ac.uk/74495/1/10992114.pdf | |
| 来源: University of Glasgow | |
 PDF
|
|
【 摘 要 】
This thesis considers the problems of order-sorted equational logic and its operational interpretation, order-sorted term rewriting.
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| Dynamic Order-Sorted Term-Rewriting Systems | 7544KB |  download |
878987797
028-85220240
