search result

Cover von A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

A Coinductive Framework for Infinitary Rewriting and Equational Reasoning

Year: 2015
Media group: LIPIcs
Cover von Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0