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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

OriginalsprogEngelsk
TitelFunctional and Logic Programming : 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
RedaktørerMatthias Blume, Naoki Kobayashi, Germán Vidal
ForlagSpringer
Publikationsdato2010
Sider272-287
ISBN (Trykt)978-3-642-12250-7
ISBN (Elektronisk)978-3-642-12251-4
DOI
StatusUdgivet - 2010
Begivenhed10th International Symposium on Functional and Logic Programming - Sendai, Japan
Varighed: 19 apr. 2010 → 21 apr. 2010
Konferencens nummer: 10

Konference

Konference10th International Symposium on Functional and Logic Programming
Nummer10
LandJapan
BySendai
Periode19/04/2010 → 21/04/2010
NavnLecture notes in computer science
Vol/bind6009
ISSN0302-9743

ID: 32193296