×

Found 2 Documents (Results 1–2)

A lambda-calculus with patterns. (English) Zbl 1070.03506

Proceedings of the international conference on algebra and its applications (ICAA 2002), Chulalongkorn University, Bangkok, Thailand, March 18–20, 2002. Bangkog: Chulalongkorn University, Department of Mathematics (ISBN 970-13-2182-1). 266-277 (2002).
MSC:  03B40
PDFBibTeX XMLCite

Calculating Church-Rosser proofs in Kleene algebra. (English) Zbl 1027.68071

de Swart, Harrie C. M. (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16-21, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2561, 276-290 (2002).
MSC:  68Q42 68Q70 03B40
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Main Field