default search action

combined dblp search
author search
venue search
publication search

ask others

2nd RULE@PLI 2001: Firenze, Italy

> Home > Conferences and Workshops > RULE

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - no references & citations available
- export record
  dblp key:
  - conf/rule/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rule/2001
Mark van den Brand, Rakesh M. Verma:
Second International Workshop on Rule-Based Programming, RULE 2001, Satellite Event of PLI 2001, Firenze, Italy, September 4, 2001. Electronic Notes in Theoretical Computer Science 59(4), Elsevier 2001
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AkamaNK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AkamaNK01
Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. 255-270
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FischerR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FischerR01
Bernd Fischer, Grigore Rosu:
Interpreting Abstract Interpretations in Membership Equational Logic. 271-285
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GiavittoM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GiavittoM01
Jean-Louis Giavitto, Olivier Michel:
MGS: a Rule-Based Programming Language for Complex Objects and Collections. 286-304
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/HoffmannM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/HoffmannM01
Berthold Hoffmann, Mark Minas:
Transformation of Shaped Nested Graphs and Diagrams. 305-319
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Nguyen01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Nguyen01a
Quang Huy Nguyen:
Certifying Term Rewriting Proofs in ELAN. 320-340
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Struth01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Struth01
Georg Struth:
Knuth-Bendix Completion for Non-Symmetric Transitive Relations. 341-357
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DanvyN01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DanvyN01
Olivier Danvy, Lasse R. Nielsen:
Syntactic Theories in Practice. 358-374
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Visser01a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Visser01a
Eelco Visser:
Scoped Dynamic Rewrite Rules. 375-396
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LammaMMRS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LammaMMRS01
Evelina Lamma, L. Maestrami, Paola Mello, Fabrizio Riguzzi, Sergio Storari:
Rule-based Programming for Building Expert Systems: a Comparison in the Microbiological Data Validation and Surveillance Domain. 397-411
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Moyen01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Moyen01
Jean-Yves Moyen:
System Presentation: An Analyser of Rewriting Systems Complexity. 412-424
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BrandV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BrandV01
Mark van den Brand, Rakesh M. Verma:
RULE2001 - Foreword. 425-426

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.