The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Carlos Loría-Sáenz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jürgen Avenhaus, Carlos Loría-Sáenz
    Higher Order Conditional Rewriting and Narrowing. [Citation Graph (0, 0)][DBLP]
    CCL, 1994, pp:269-284 [Conf]
  2. Carlos Loría-Sáenz, Joachim Steinbach
    Termination of Combined (Rewrite and lambda-Calculus) Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1992, pp:143-147 [Conf]
  3. Carlos Loría-Sáenz
    Synthesis of Narrowing Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:30-45 [Conf]
  4. Jürgen Avenhaus, Carlos Loría-Sáenz
    On Conditional Rewrite Systems with Extra Variables and Deterministic Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:215-229 [Conf]
  5. Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
    Logicality of Conditional Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:141-152 [Conf]
  6. Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp
    Logicality of conditional rewrite systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:236, n:1-2, pp:209-232 [Journal]

  7. On Requirements for Programming Exercises from an E-learning Perspective [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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