Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 37 matches
- 2019
- Joachim Niehren, David Sabel:
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018. EPTCS 289, 2019 [contents] - 2018
- Andrei-Sebastian Buruiana, Stefan Ciobaca:
Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics. WPTE@FSCD 2018: 1-16 - David Sabel:
Automating the Diagram Method to Prove Correctness of Program Transformations. WPTE@FSCD 2018: 17-33 - Yoshiaki Kanazawa, Naoki Nishida:
On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. WPTE@FSCD 2018: 34-52 - Manfred Schmidt-Schauß, Nils Dallmeyer:
Optimizing Space of Parallel Processes. WPTE@FSCD 2018: 53-67 - Naoki Nishida, Yuya Maeda:
On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions. WPTE@FSCD 2018: 68-87 - Horatiu Cirstea, David Sabel:
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. EPTCS 265, 2018 [contents] - 2017
- Nneka Chinelo Ene, Maribel Fernández, Bruno Pinaud:
Attributed Hierarchical Port Graphs and Applications. WPTE@FSCD 2017: 2-19 - Liyi Li, Elsa L. Gunter:
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras. WPTE@FSCD 2017: 20-34 - Shinnosuke Mizutani, Naoki Nishida:
Transforming Proof Tableaux of Hoare Logic into Inference Sequences of Rewriting Induction. WPTE@FSCD 2017: 35-51 - Koko Muroya, Dan R. Ghica:
Efficient Implementation of Evaluation Strategies via Token-Guided Graph Rewriting. WPTE@FSCD 2017: 52-66 - Yutaro Nagae, Masahiko Sakai:
Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems. WPTE@FSCD 2017: 67-81 - Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama:
Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers. WPTE@FSCD 2017: 82-97 - Manfred Schmidt-Schauß, Nils Dallmeyer:
Space Improvements and Equivalences in a Functional Core Language. WPTE@FSCD 2017: 98-112 - 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 [contents] - 2016
- Beniamino Accattoli:
The Complexity of Abstract Machines. WPTE@FSCD 2016: 1-15 - Nils Dallmeyer, Manfred Schmidt-Schauß:
An Environment for Analyzing Space Optimizations in Call-by-Need Functional Languages. WPTE@FSCD 2016: 78-92 - Ken-etsu Fujita:
On Upper Bounds on the Church-Rosser Theorem. WPTE@FSCD 2016: 16-31 - Karl Gmeiner:
Confluence of Conditional Term Rewrite Systems via Transformations. WPTE@FSCD 2016: 32-45 - Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki:
An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems. WPTE@FSCD 2016: 46-61 - Ryota Nakayama, Naoki Nishida, Masahiko Sakai:
Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems. WPTE@FSCD 2016: 62-77 - 2015
- Giulio Guerrieri:
Head reduction and normalization in a call-by-value lambda-calculus. WPTE@RDP 2015: 3-17 - Adrián Palacios, Germán Vidal:
Towards Modelling Actor-Based Concurrency in Term Rewriting. WPTE@RDP 2015: 19-29 - Brigitte Pientka:
Mechanizing Meta-Theory in Beluga (Invited Talk). WPTE@RDP 2015: 1-1 - David Sabel, Manfred Schmidt-Schauß:
Observing Success in the Pi-Calculus. WPTE@RDP 2015: 31-46 - Sjaak Smetsers, Ken Madlener, Marko C. J. D. van Eekelen:
Formalizing Bialgebraic Semantics in PVS 6.0. WPTE@RDP 2015: 47-61 - Frontmatter, Table of Contents, Preface, Workshop Organization. WPTE@RDP 2015: i-xvi
- Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß:
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, July 2, 2015, Warsaw, Poland. OASIcs 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-94-1 [contents] - 2014
- Andrew Gill:
HERMIT: An Equational Reasoning Model to Implementation Rewrite System for Haskell (Invited Talk). WPTE@RTA/TLCA 2014: 1-1 - Karl Gmeiner, Naoki Nishida:
Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. WPTE@RTA/TLCA 2014: 3-14
skipping 7 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-10 01:17 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint