Workshop on Rewriting Logic and its Applications (WRLA)
(brand of TCS)1 × Cyprus
1 × Estonia
1 × France
57 ×#maude
47 ×#logic
21 ×#semantics
19 ×#specification
14 ×#calculus
14 ×#framework
13 ×#protocol
11 ×#realtime
10 ×#analysis
9 ×#equation
Vocabulary: 378 words
222 papers in 12 issues:
- 2018
Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications (WRLA 2018)- 2016
- Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications (WRLA 2016)
- 2014
- Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014)
- 2012
- Revised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012)
- 2010
- Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)
- Special Issue of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)
- 2008
- Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008)
- 2006
- Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications (WRLA 2006)
- 2004
- Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)
- Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)
- 2002
- Proceedings of the Fourth International Workshop on Rewriting Logic and its Applications (WRLA 2002)
- 2000
- Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA 2000)
- 1998
- Proceedings of the Second International Workshop on Rewriting Logic and its Applications (WRLA 1998)
- 1996
- Proceedings of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)
- Special Issue of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)
1 × Estonia
1 × France
57 ×#maude
47 ×#logic
21 ×#semantics
19 ×#specification
14 ×#calculus
14 ×#framework
13 ×#protocol
11 ×#realtime
10 ×#analysis
9 ×#equation
Vocabulary: 378 words
Proceedings of the 12th International Workshop on Rewriting Logic and Its Applications (WRLA 2018)Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications (WRLA 2016)Revised Selected Papers of the 10th International Workshop on Rewriting Logic and its Applications (WRLA 2014)Revised Selected Papers of the Ninth International Workshop on Rewriting Logic and its Applications (WRLA 2012)Revised Selected Papers of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)Special Issue of the Eighth International Workshop on Rewriting Logic and its Applications (WRLA 2010)Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications (WRLA 2008)Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications (WRLA 2006)Proceedings of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)Special Issue of the Fifth International Workshop on Rewriting Logic and its Applications (WRLA 2004)Proceedings of the Fourth International Workshop on Rewriting Logic and its Applications (WRLA 2002)Proceedings of the Third International Workshop on Rewriting Logic and its Applications (WRLA 2000)Proceedings of the Second International Workshop on Rewriting Logic and its Applications (WRLA 1998)Proceedings of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)Special Issue of the First International Workshop on Rewriting Logic and its Applications (WRLA 1996)