The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 59, number: 4

  1. Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  2. Georg Struth
    Knuth-Bendix Completion for Non-Symmetric Transitive Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  3. Quang Huy Nguyen
    Certifying Term Rewriting Proofs in ELAN. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  4. J.-Y. Moyen
    System Presentation: An Analyser of Rewriting Systems Complexity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  5. 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. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  6. Berthold Hoffmann, Mark Minas
    Transformation of Shaped Nested Graphs and Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  7. Jean-Louis Giavitto, Olivier Michel
    MGS: a Rule-Based Programming Language for Complex Objects and Collections. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  8. Bernd Fischer, Grigore Rosu
    Interpreting Abstract Interpretations in Membership Equational Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  9. Olivier Danvy, Lasse R. Nielsen
    Syntactic Theories in Practice. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  10. Mark van den Brand, Rakesh M. Verma
    RULE2001 - Foreword. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
  11. Eelco Visser
    Scoped Dynamic Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:4, pp:- [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002