Normal view MARC view ISBD view

Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning.

By:

Contributor(s):

Material type:

Subject(s):

LOC classification:

Online resources:

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Copy number	Status	Notes	Date due	Barcode
Libro Electrónico	Biblioteca Digital Colección Digital	QA267 P44 2006 (Browse shelf(Opens below))	Link to resource	1	Available	Springerlink		BDIG00012790

Previous								Next
Previous	QA267 M37 2008 Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /	QA267 M53 2005 Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday /	QA267 O24 2008 Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings /	QA267 P44 2006 Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /	QA267 P46 2006 Advances in Verification of Time Petri Nets and Timed Automata	QA267 V67 2008 Rewriting Techniques and Applications	QA267.3 C35 2005 Developments in Language Theory	Next

There are no comments on this title.

to post a comment.