Term rewriting and application : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France)
Imprint:	Berlin ; New York : Springer, ©2007.
Description:	1 online resource (xii, 418 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 4533 Lecture notes in computer science ; 4533.
Subject:	Rewriting systems (Computer science) -- Congresses. Computer programming -- Congresses. Algorithms -- Congresses. Algorithms. Computer programming. Rewriting systems (Computer science) Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11066162

Hidden Bibliographic Details
Varying Form of Title:	RTA 2007
Other authors / contributors:	Baader, Franz.
ISBN:	9783540734499 354073449X 3540734473 9783540734475 1281352039 9781281352033
Notes:	Includes bibliographical references and index. Print version record.
Summary:	Annotation This book constitutes the refereed proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on Typed Lambda Calculi and Applications as part of RDP 2007, the 4th International Conference on Rewriting, Deduction, and Programming. The 24 revised full papers and 3 systems description papers were carefully reviewed and selected from 69 initial submissions and are presented together with 3 invited talks. The papers cover current research on all aspects of rewriting featuring applications, foundational issues, frameworks, implementations, as well as semantics.
Other form:	Print version: International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France). Term rewriting and application. Berlin ; New York : Springer, ©2007 3540734473 9783540734475
Standard no.:	10.1007/978-3-540-73449-9

Similar Items