home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
Electronic Notes in Theoretical Computer Science
, Volume 219
Volume 219, November 2008
Proceedings of the Eighth International Workshop on Rule Based Programming (RULE 2007)
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/VisserW08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Joost Visser
,
Victor L. Winter
:
Preface.
1-2
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/GuernicP08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Gurvan Le Guernic
,
Julien Perret
:
FLIC: Application to Caching of a Dynamic Dependency Analysis for a 3D Oriented CRS.
3-18
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/GuerreroM08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Juan Antonio Guerrero
,
Ginés Moreno
:
Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding.
19-34
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/Kahramanogullari08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Ozan Kahramanogullari
:
Maude as a Platform for Designing and Implementing Deep Inference Systems.
35-50
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BallisBC08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Demis Ballis
,
Andrea Baruzzo
,
Marco Comini
:
A Rule-based Method to Match Software Patterns Against UML Models.
51-66
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/AndreiK08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Oana Andrei
,
Hélène Kirchner
:
A Rewriting Calculus for Multigraphs with Ports.
67-82
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/AlmeidaPV08a
ask others
Google
Google Scholar
MS Academic Search
PubZone
José Bacelar Almeida
,
Jorge Sousa Pinto
,
Miguel Vilaça
:
A Tool for Programming with Interaction Nets.
83-96
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/BallandMR08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Emilie Balland
,
Pierre-Etienne Moreau
,
Antoine Reilles
:
Rewriting Strategies in Java.
97-111
view
electronic edition via DOI
export record as
BibTeX
XML
dblp key:
journals/entcs/AppeltauerK08
ask others
Google
Google Scholar
MS Academic Search
PubZone
Malte Appeltauer
,
Günter Kniesel
:
Towards Concrete Syntax Patterns for Logic-based Transformation Rules.
113-132