Your search returned 2 results.

Results
		Typed Lambda Calculi and Applications [Recurso electrónico] / 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn. by Urzyczyn, Pawel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 3461Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)
		Mathematical Foundations of Computer Science 2006 [Recurso electrónico] / 31st International Symposium, MFCS 2006, StarÃ¡ LesnÃ¡, Slovakia, August 28-September 1, 2006, Proceedings edited by Rastislav KrÃ¡lovic, Pawel Urzyczyn. by KrÃ¡lovic, Rastislav \| Urzyczyn, Pawel \| SpringerLink (Online service). Series: Lecture Notes in Computer Science, 0302-9743 ; ; 4162Material type: Computer file; Format: electronic available online Publication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available. Request article Log in to add tags Add to cart (remove)

Refine your search