| 書(shū)目名稱 | Term Rewriting and Applications | | 副標(biāo)題 | 16th International C | | 編輯 | Jürgen Giesl | | 視頻video | http://file.papertrans.cn/904/903145/903145.mp4 | | 概述 | Includes supplementary material: | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– 21, 2005, at the Nara-Ken New Public Hall in the center of the Nara National Park in Nara, Japan. RTA is the major forum for the presentation of research on all aspects of rewriting.PreviousRTAconferenceswereheldinDijon(1985),Bordeaux(1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), and Aachen (2004). This year, there were 79 submissions from 20 countries, of which 31 papers were accepted for publication (29 regular papers and 2 system descriptions). The submissions came from France (10 accepted papers of the 23.1 submitted papers), USA (5.6 of 11.7), Japan (4 of 9), Spain (2.7 of 6.5), UK (2.7 of 4.7), The Netherlands (1.7 of 3.8), Germany (1.3 of 2.3), Austria (1 of 1), Poland (1 of 1), Israel (0.5 of 0.8), Denmark (0.5 of 0.5), China (0 of 4), Korea (0 of 4), Taiwan (0 of 1.3), Australia (0 of 1), Brazil (0 of 1), Russia (0 of 1), Switzerland (0 of 1), Sweden (0 of 1), and It | | 出版日期 | Conference proceedings 2005 | | 關(guān)鍵詞 | automata; automated deduction; higher order rewriting; lambda calculus; logic programming; programming ca | | 版次 | 1 | | doi | https://doi.org/10.1007/b135673 | | isbn_softcover | 978-3-540-25596-3 | | isbn_ebook | 978-3-540-32033-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2005 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-26 02:15
發(fā)表于 2025-3-21 17:26:36
