-
Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : revised selected papersThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005), which washeld on April19-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.Previous RTA conference swereheld inDijon(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 Italy (0 of 0.3). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 111 external referees.Vrsta gradiva - konferenčni zbornik ; neleposlovje za odrasleZaložništvo in izdelava - Berlin ; Heidelberg : Springer, cop. 2005Jezik - angleškiISBN - 978-3-540-25596-3; 978-3-540-32033-3COBISS.SI-ID - 17115993
Drugi avtorji
Giesl, Jürgen |
International Conference on Rewriting Techniques and Applications
Zbirka
Lecture notes in computer science
Teme
computer science |
automata |
automated deduction |
higher order rewriting |
lambda calculus |
logic programming |
programming calculi |
proving |
rewriting |
rewriting systems |
semantics |
term rewriting |
termination |
type inference |
unification |
verification
Vnos na polico
Trajna povezava
- URL:
Faktor vpliva
Dostop do baze podatkov JCR je dovoljen samo uporabnikom iz Slovenije. Vaš trenutni IP-naslov ni na seznamu dovoljenih za dostop, zato je potrebna avtentikacija z ustreznim računom AAI.
Leto | Faktor vpliva | Izdaja | Kategorija | Razvrstitev | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Baze podatkov, v katerih je revija indeksirana
Ime baze podatkov | Področje | Leto |
---|
Povezave do osebnih bibliografij avtorjev | Povezave do podatkov o raziskovalcih v sistemu SICRIS |
---|---|
Giesl, Jürgen |
Izberite prevzemno mesto:
Prevzem gradiva po pošti
Obvestilo
Gesla v Splošnem geslovniku COBISS
Izbira mesta prevzema
Mesto prevzema | Status gradiva | Rezervacija |
---|
Prosimo, počakajte trenutek.