Modes of Convergence for Term Graph Rewriting

Term graph rewriting provides a simple mechanism to finitely represent restricted forms of infinitary term rewriting. The correspondence between infinitary term rewriting and term graph rewriting has been studied to some extent. However, this endeavour is impaired by the lack of an appropriate count...

Бүрэн тодорхойлолт

Номзүйн дэлгэрэнгүй

Үндсэн зохиолч:	Patrick Bahr
Формат:	Artigo
Хэл сонгох:	Inglês
Хэвлэсэн:	Logical Methods in Computer Science e.V. 2012-06-01
Цуврал:	Logical Methods in Computer Science
Нөхцлүүд:	computer science - logic in computer science computer science - programming languages f.4.2, f.1.1
Онлайн хандалт:	https://lmcs.episciences.org/935/pdf
Шошгууд:	Шошго нэмэх Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!