Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original languageEnglish
Title of host publicationFunctional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
EditorsMatthias Blume, Naoki Kobayashi, Germán Vidal
PublisherSpringer
Publication date2010
Pages272-287
ISBN (Print)978-3-642-12250-7
ISBN (Electronic)978-3-642-12251-4
DOIs
Publication statusPublished - 2010
Event10th International Symposium on Functional and Logic Programming - Sendai, Japan
Duration: 19 Apr 2010 → 21 Apr 2010
Conference number: 10

Conference

Conference10th International Symposium on Functional and Logic Programming
Nummer10
LandJapan
BySendai
Periode19/04/2010 → 21/04/2010
SeriesLecture notes in computer science
Volume6009
ISSN0302-9743

ID: 32193296