Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "WPTE@RTA/TLCA"( http://dblp.L3S.de/Venues/WPTE@RTA/TLCA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/rta

Publication years (Num. hits)
2014 (9)
Publication types (Num. hits)
inproceedings(8) proceedings(1)
Venues (Conferences, Journals, ...)
WPTE@RTA/TLCA(9)
Authors
David Sabel(3) Naoki Nishida 0001(3) Karl Gmeiner(2) Manfred Schmidt-Schauß(2) Masahiko Sakai(2) Andrew Gill(1) Elsa L. Gunter(1) Makishi Yanagisawa(1) Masanori Nagashima(1) Tomofumi Kato(1) William Mansky(1) Yuki Chiba(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida 0001 Inverse Unfold Problem and Its Heuristic Solving. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1David Sabel Structural Rewriting in the pi-Calculus. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, David Sabel Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report). Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1William Mansky, Elsa L. Gunter Verifying Optimizations for Concurrent Programs. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Karl Gmeiner, Naoki Nishida 0001 Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1 Frontmatter, Table of Contents, Preface, Workshop Organization. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba (eds.) First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RTA 2014, July 13, 2014, Vienna, Austria Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  BibTeX  RDF
1Andrew Gill HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk). Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Naoki Nishida 0001, Makishi Yanagisawa, Karl Gmeiner On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. Search on Bibsonomy WPTE@RTA/TLCA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license