|
|
|
|
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  |
WPTE@RDP  |
2015 |
DBLP BibTeX RDF |
|
| 1 | |
Frontmatter, Table of Contents, Preface, Workshop Organization. |
WPTE@RDP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Pientka |
Mechanizing Meta-Theory in Beluga (Invited Talk). |
WPTE@RDP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Guerrieri |
Head reduction and normalization in a call-by-value lambda-calculus. |
WPTE@RDP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen |
Formalizing Bialgebraic Semantics in PVS 6.0. |
WPTE@RDP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Palacios, Germán Vidal |
Towards Modelling Actor-Based Concurrency in Term Rewriting. |
WPTE@RDP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sabel, Manfred Schmidt-Schauß |
Observing Success in the Pi-Calculus. |
WPTE@RDP |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license