• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 21 matches

• 2024
• 
  Kazuhiro Ogata, Narciso Martí-Oliet:
  Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers. Lecture Notes in Computer Science 14953, Springer 2024, ISBN 978-3-031-65940-9 [contents]
• 2022
• 
  Kyungmin Bae:
  Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13252, Springer 2022, ISBN 978-3-031-12440-2 [contents]
• 2020
• 
  Santiago Escobar, Narciso Martí-Oliet:
  Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12328, Springer 2020, ISBN 978-3-030-63594-7 [contents]
• 2018
• 
  Vlad Rusu:
  Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Lecture Notes in Computer Science 11152, Springer 2018, ISBN 978-3-319-99839-8 [contents]
• 2017
• 
  Santiago Escobar:
  Rewriting Logic and its Applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 86(1): 157-158 (2017)
• 2016
• 
  Santiago Escobar:
  Rewriting logic and its applications (extended selected papers from WRLA 2014). J. Log. Algebraic Methods Program. 85(1): 1-2 (2016)
• 
  Dorel Lucanu:
  Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9942, Springer 2016, ISBN 978-3-319-44801-5 [contents]
• 2015
• 
  Francisco Durán, Narciso Martí-Oliet:
  Preface to Rewriting Logic and Its Applications (extended selected papers from WRLA 2012). Sci. Comput. Program. 99: 1-2 (2015)
• 2014
• 
  Santiago Escobar:
  Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8663, Springer 2014, ISBN 978-3-319-12903-7 [contents]
• 2012
• 
  Francisco Durán:
  Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7571, Springer 2012, ISBN 978-3-642-34004-8 [contents]
• 2010
• 
  Peter Csaba Ölveczky:
  Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6381, Springer 2010, ISBN 978-3-642-16309-8 [contents]
• 2009
• 
  Grigore Rosu:
  Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 238(3), Elsevier 2009 [contents]
• 2007
• 
  Grit Denker, Carolyn L. Talcott:
  Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, WRLA 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 176(4), Elsevier 2007 [contents]
• 2005
• 
  Narciso Martí-Oliet:
  Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, WRLA 2004, Barcelona, Spain, March 27-28, 2004. Electronic Notes in Theoretical Computer Science 117, Elsevier 2005 [contents]
• 2004
• 
  Fabio Gadducci, Ugo Montanari:
  Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002. Electronic Notes in Theoretical Computer Science 71, Elsevier 2004 [contents]
• 2002
• 
  Fabio Gadducci, Ugo Montanari:
  Preface - WRLA 2002, Rewriting Logic and Its Applications, Pisa, Italy, 19-21 September 2002. WRLA 2002: 1-2
• 2001
• 
  Jürgen Dix, Mauricio Osorio, Claudia Zepeda:
  A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Log. 108(1-3): 153-188 (2001)
• 2000
• 
  Kokichi Futatsugi:
  The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000. Electronic Notes in Theoretical Computer Science 36, Elsevier 2000 [contents]
• 1998
• 
  Claude Kirchner, Hélène Kirchner:
  1998 International Workshop on Rewriting Logic and its Applications, WRLA 1998, Abbaye des Prémontrés at Pont-à-Mousson, France, September 1998. Electronic Notes in Theoretical Computer Science 15, Elsevier 1998 [contents]
• 1997
• 
  Narciso Martí-Oliet:
  Rewriting logic and its applications. APPIA-GULP-PRODE 1997: 5-8
• 1996
• 
  José Meseguer:
  First International Workshop on Rewriting Logic and its Applications, RWLW 1996, Asilomar Conference Center, Pacific Grove, CA, USA, September 3-6, 1996. Electronic Notes in Theoretical Computer Science 4, Elsevier 1996 [contents]