×

Found 15 Documents (Results 1–15)

A note on rewriting proofs and Fibonacci numbers. (English) Zbl 1133.05006

Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 284-292 (2007).
MSC:  05A17 05A20 68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

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 …

all top 5

Year of Publication

all top 3

Main Field