Dynamic Order-Sorted Term-Rewriting Systems
[摘要] This thesis considers the problems of order-sorted equational logic and its operational interpretation, order-sorted term rewriting.
[发布日期] [发布机构] University:University of Glasgow
[效力级别] [学科分类]
[关键词] Computer science [时效性]
