|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yuki Chiba, Santiago Escobar 0001, Naoki Nishida 0001, David Sabel, Manfred Schmidt-Schauß (eds.) |
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
1 | |
Frontmatter, Table of Contents, Preface, Workshop Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. i-xvi, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pientka |
Mechanizing Meta-Theory in Beluga (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 1-1, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Guerrieri |
Head reduction and normalization in a call-by-value lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 3-17, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen |
Formalizing Bialgebraic Semantics in PVS 6.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 47-61, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Palacios, Germán Vidal |
Towards Modelling Actor-Based Concurrency in Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 19-29, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Sabel, Manfred Schmidt-Schauß |
Observing Success in the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WPTE@RDP ![In: 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland, pp. 31-46, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-94-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|