Related Books
Language: en
Pages: 458
Pages: 458
Type: BOOK - Published: 2002-04-12 - Publisher: Springer Science & Business Media
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between t
Language: en
Pages: 420
Pages: 420
Type: BOOK - Published: 2013-04-17 - Publisher: Springer Science & Business Media
Unlike current survey articles and textbooks, here the so-called confluence and termination hierarchies play a key role. Throughout, the relationships between t
Language: en
Pages: 304
Pages: 304
Type: BOOK - Published: 2005 - Publisher: IOS Press
LAPTEC' 2005 promoted the discussion and interaction between researchers and practitioners focused on both theoretical and practical disciplines concerning logi
Language: en
Pages: 528
Pages: 528
Type: BOOK - Published: 2005-04-07 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 16th International Conference on Rewriting Techniques and Applications, RTA 2005, held in Nara, Japan in A
Language: en
Pages: 426
Pages: 426
Type: BOOK - Published: 2006-07-26 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA