Search alternatives:
"confluence" » "conference", "influence", "confidence"
Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
Table of Contents: “... by absence of infinite chains of dependency pairs -- Confluence without termination via parallel critical...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... — A first-order calculus for higher-order calculi -- About the confluence of equational pattern...”