Cover von Compression of Rewriting Systems for Termination Analysis opens in new tab

Compression of Rewriting Systems for Termination Analysis

Year: 2013
Media group: LIPIcs

Details

Search for this author
Year: 2013
opens in new tab
Search for this systematic
Search for this subject type
Description: pp. 97-112
Participating parties: Search for this character Bau, Alexander; Lohrey, Markus; Nöth, Eric; Waldmann, Johannes
Media group: LIPIcs