Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008980552/catalog> ?p ?o. }

• catalog abstract "This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002),which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002). RTA is the ma jor international forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987),Chapel Hill (1989),Como (1991),Montreal (1993),Kaise- lautern (1995),Rutgers (1996),Sitges (1997),Tsukuba (1998),Trento (1999), Norwich (2000),and Utrecht (2001). A total of 20 regular papers,2 application papers and 4 system descriptions were selected for presentation from 49 submissions from Argentina (1),Brazil 2 1 5 ( ),Czech Republic (1),France (13),Germany (8),Israel ( ),Italy (1 ),Japan 3 3 6 1 (6),The Netherlands (2),Poland (1),Portugal (1 ),Rumania (1),Spain (4),UK 3 5 1 1 ( ),Uruguay ( ),USA (5 ),Venezuela (1). The program committee awarded 6 2 2 the best paper prize to Paul-Andr´ e Melli` es for his paper Residual Theory Re- sited. This paper presents an elegant and subtle generalization of Jean-Jacques L´ evy’s residual theory. I am especially grateful to the invited speakers Franz Baader,John Mitchell, and Natara jan Shankar for accepting our invitation to present us their insights into their research areas.".
• catalog contributor b12620000.
• catalog contributor b12620001.
• catalog created "2002.".
• catalog date "2002".
• catalog date "2002.".
• catalog dateCopyrighted "2002.".
• catalog description "Combining Shostak Theories / Natarajan Shankar and Harald Ruess -- Multiset Rewriting and Security Protocol Analysis / John C. Mitchell -- Engineering of Logics for the Content-Based Representation of Information / Franz Baader -- Axiomatic Rewriting Theory VI Residual Theory Revisited / Paul-Andre Mellies -- Static Analysis of Modularity of [beta]-Reduction in the Hyperbalanced [lambda]-Calculus / Richard Kennaway, Zurab Khasidashvili and Adolfo Piperno -- Exceptions in the Rewriting Calculus / Germain Faure and Claude Kirchner -- Deriving Focused Lattice Calculi / Georg Struth -- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property / Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka and Yuichi Kaji.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volume contains the proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA 2002),which was held July 22- 24,2002 in Copenhagen as part of the 3rd Federated Logic Conference (FLoC 2002). RTA is the ma jor international forum for the presentation of research on all aspects of rewriting. Previous RTA conferences took place in Dijon (1985), Bordeaux (1987),Chapel Hill (1989),Como (1991),Montreal (1993),Kaise- lautern (1995),Rutgers (1996),Sitges (1997),Tsukuba (1998),Trento (1999), Norwich (2000),and Utrecht (2001). A total of 20 regular papers,2 application papers and 4 system descriptions were selected for presentation from 49 submissions from Argentina (1),Brazil 2 1 5 ( ),Czech Republic (1),France (13),Germany (8),Israel ( ),Italy (1 ),Japan 3 3 6 1 (6),The Netherlands (2),Poland (1),Portugal (1 ),Rumania (1),Spain (4),UK 3 5 1 1 ( ),Uruguay ( ),USA (5 ),Venezuela (1). The program committee awarded 6 2 2 the best paper prize to Paul-Andr´ e Melli` es for his paper Residual Theory Re- sited. This paper presents an elegant and subtle generalization of Jean-Jacques L´ evy’s residual theory. I am especially grateful to the invited speakers Franz Baader,John Mitchell, and Natara jan Shankar for accepting our invitation to present us their insights into their research areas.".
• catalog extent "xi, 385 p. :".
• catalog identifier "3540439161 (pbk. : acid-free paper)".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 2378".
• catalog issued "2002".
• catalog issued "2002.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog subject "005.13/1 21".
• catalog subject "Algebra Data processing.".
• catalog subject "Algorithms Congresses.".
• catalog subject "Artificial intelligence.".
• catalog subject "Computer programming Congresses.".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "QA267 .I555 2002".
• catalog subject "Rewriting systems (Computer science) Congresses.".
• catalog tableOfContents "Combining Shostak Theories / Natarajan Shankar and Harald Ruess -- Multiset Rewriting and Security Protocol Analysis / John C. Mitchell -- Engineering of Logics for the Content-Based Representation of Information / Franz Baader -- Axiomatic Rewriting Theory VI Residual Theory Revisited / Paul-Andre Mellies -- Static Analysis of Modularity of [beta]-Reduction in the Hyperbalanced [lambda]-Calculus / Richard Kennaway, Zurab Khasidashvili and Adolfo Piperno -- Exceptions in the Rewriting Calculus / Germain Faure and Claude Kirchner -- Deriving Focused Lattice Calculi / Georg Struth -- Layered Transducing Term Rewriting System and Its Recognizability Preserving Property / Hiroyuki Seki, Toshinori Takai, Youhei Fujinaka and Yuichi Kaji.".
• catalog title "Rewriting techniques and applications : 13th international conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 : proceedings / Sophie Tison (ed.).".
• catalog type "Conference proceedings. fast".
• catalog type "Kopenhagen (2002) swd".
• catalog type "text".