default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th RULE 2008: Hagenberg, Austria
- Günter Kniesel, Jorge Sousa Pinto:
Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008. Electronic Notes in Theoretical Computer Science 290, Elsevier 2012 - Günter Kniesel, Jorge Sousa Pinto
:
Preface. 1-2 - Tiago L. Alves, Paulo F. Silva, Joost Visser:
Constraint-aware Schema Transformation. 3-18 - Kyungmin Bae, José Meseguer:
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting. 19-36 - Joe Hendrix, José Meseguer:
Order-sorted Equational Unification Revisited. 37-50 - Mark Hills, Feng Chen, Grigore Rosu:
A Rewriting Logic Approach to Static Checking of Units of Measurement in C. 51-67 - Rakesh M. Verma:
New Undecidability Results for Properties of Term Rewrite Systems. 69-85
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.
last updated on 2025-02-15 00:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
