default search action

combined dblp search
author search
venue search
publication search

ask others

3rd WPTE@FSCD 2016: Porto, Portugal

> Home > Conferences and Workshops > WPTE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/CirsteaE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CirsteaE17
Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Accattoli17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Accattoli17
Beniamino Accattoli:
The Complexity of Abstract Machines. 1-15
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Fujita17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Fujita17
Ken-etsu Fujita:
On Upper Bounds on the Church-Rosser Theorem. 16-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Gmeiner17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Gmeiner17
Karl Gmeiner:
Confluence of Conditional Term Rewrite Systems via Transformations. 32-45
- view
  authority control:
- export record
  dblp key:
  - journals/corr/NagaeSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NagaeSS17
Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki:
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. 46-61
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Nakayama0S17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Nakayama0S17
Ryota Nakayama, Naoki Nishida, Masahiko Sakai:
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems. 62-77
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DallmeyerS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DallmeyerS17
Nils Dallmeyer, Manfred Schmidt-Schauß:
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. 78-92

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.