search result

Cover von Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems

Decreasing Diagrams with Two Labels Are Complete for Confluence of Countable Systems

Year: 2018
Media group: LIPIcs
Cover von Graph Transformation
18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 15720
Media group: MONOGRAPHIE
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: LIPIcs
Cover von LIPIcs, Volume 326, CSL 2025, Complete Volume

LIPIcs, Volume 326, CSL 2025, Complete Volume

Year: 2025
Media group: LIPIcs
Cover von 33rd EACSL Annual Conference on Computer Science Logic
CSL 2025, February 10-14, 2025, Amsterdam, Netherlands
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 326
Media group: LIPIcs
Cover von Proving non-termination by finite automata

Proving non-termination by finite automata

Year: 2015
Media group: LIPIcs
Cover von Infinitary Rewriting Coinductively

Infinitary Rewriting Coinductively

Year: 2013
Media group: LIPIcs
Cover von Proving Equality of Streams Automatically

Proving Equality of Streams Automatically

Year: 2011
Media group: ARTICLE
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