The SCEAS System
Navigation Menu

Conferences in DBLP

Conditional and Typed Rewriting Systems (CTRS) (ctrs)
1990 (conf/ctrs/1990)

  1. François Bronsard, Uday S. Francois
    Conditional Rewriting in Focus. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:2-13 [Conf]
  2. Nachum Dershowitz
    A Maximal-Literal Unit Strategy for Horn Clauses. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:14-25 [Conf]
  3. Jan Willem Klop, Roel C. de Vrijer
    Extended Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:26-50 [Conf]
  4. Emmanuel Kounalis, Michaël Rusinowitch
    A Proof System for Conditional Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:51-63 [Conf]
  5. José Meseguer
    Conditional Rewriting Logic: Deduction, Models and Concurrency. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:64-91 [Conf]
  6. Chilukuri K. Mohan
    Equivalences of Rewrite Programs. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:92-97 [Conf]
  7. Hong Chen, Jieh Hsiang, Hwa-Chung Kong
    On Finite Representations of Infinite Sequences of Terms. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:100-114 [Conf]
  8. Yiyun Chen, Michael J. O'Donnell
    Infinite Terms and Infinite Rewritings. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:115-126 [Conf]
  9. Yiyun Chen, Michael J. O'Donnell
    Testing Confluence of Nonterminating Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:127-136 [Conf]
  10. Bernard R. Hodgson, Clement F. Kent
    A Survey of Ordinal Interpretations of Type epsilon0for Termination of Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:137-142 [Conf]
  11. Hélène Kirchner, Miki Hermann
    Meta-rule Synthesis from Crossed Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:143-154 [Conf]
  12. Siva Anantharaman, Maria Paola Bonacina
    An Application of Automated Equational Reasoning to Many-valued Logic. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:156-161 [Conf]
  13. Leo Bachmair, Harald Ganzinger
    Completion of First-Order Clauses with Equality by Strict Superposition (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:162-180 [Conf]
  14. Hubert Bertling
    Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:181-193 [Conf]
  15. Eddy Bevers, Johan Lewi
    Proof by Consistency in Conditional Equational Theories. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:194-205 [Conf]
  16. Maria Paola Bonacina, Jieh Hsiang
    Completion Procedures as Semidecision Procedures. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:206-232 [Conf]
  17. Hervé Devie
    Linear Completion. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:233-245 [Conf]
  18. Robert Nieuwenhuis, Fernando Orejas
    Clausal Rewriting. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:246-258 [Conf]
  19. Franco Barbanera
    Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:260-271 [Conf]
  20. Wadoud Bousdira, Jean-Luc Remy
    On Sufficient Completeness of Conditional Specifications. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:272-286 [Conf]
  21. N. Lichtenstein, Stéphane Kaplan
    FPL: Functional Plus Logic Programming: An Integration of the FP and Prolog Languages. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:287-294 [Conf]
  22. Aart Middeldorp
    Confluence of the Disjoint Union of Conditional Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:295-306 [Conf]
  23. Detlef Plump
    Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:307-317 [Conf]
  24. Hitoshi Aida, Joseph A. Goguen, José Meseguer
    Compiling Concurrent Rewriting onto the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:320-332 [Conf]
  25. Sergio Antoy
    Design Strategies for Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:333-341 [Conf]
  26. Louis Galbiati, Carolyn L. Talcott
    A Simplifier for Untyped Lambda Expressions. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:342-353 [Conf]
  27. Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, J. E. W. Smetsers
    Parallel Graph Rewriting on Loosely Coupled Machine Architectures. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:354-369 [Conf]
  28. Roberto M. Amadio
    Typed Equivalence, Type Assignment, and Type Containment. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:372-382 [Conf]
  29. Martin C. Emele, Rémi Zajac
    A Fixed-Point Semantics for Feature Type Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:383-388 [Conf]
  30. John G. Stell
    Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:389-400 [Conf]
  31. Yong Sun
    Equational Logics (Birkhoff's Method Revisited). [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:401-406 [Conf]
  32. Uwe Waldmann
    Compatibility of Order-Sorted Rewrite Rules. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:407-416 [Conf]
  33. G. Aguzzi, U. Modigliani, M. Cecilia Verri
    An Universal Termination Condition for Solving Goals in Equational Languages. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:418-423 [Conf]
  34. John Darlington, Yike Guo
    Constrained Equational Deduction. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:424-435 [Conf]
  35. Tobias Nipkow
    Higher-Order Unification, Polymorphism, and Subsorts (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:436-447 [Conf]
  36. Zhenyu Qian
    Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:448-453 [Conf]
  37. Wayne Snyder, Christopher Lynch
    An Inference System for Horn Clause Logic with Equality: A Foundation for Conditional E-Unification and for Logic Programming in the Presence of Equality. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:454-461 [Conf]
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