The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Satish R. Thatte: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lawrence S. Moss, Satish R. Thatte
    Optimal semantics of data type extensions. [Citation Graph (0, 0)][DBLP]
    Algebraic Logic and Universal Algebra in Computer Science, 1988, pp:161-180 [Conf]
  2. Satish R. Thatte
    Object Imaging. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1995, pp:52-76 [Conf]
  3. Satish R. Thatte
    Coercive Type Isomorphism. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:29-49 [Conf]
  4. Satish R. Thatte
    Towards a Semantic Theory for Equational Programming Languages. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1986, pp:332-342 [Conf]
  5. Satish R. Thatte
    Semantics of Type Classes Revisited. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:208-219 [Conf]
  6. Lawrence S. Moss, Satish R. Thatte
    Generalization of Final Algebra Semantics by Relativization. [Citation Graph (0, 0)][DBLP]
    Mathematical Foundations of Programming Semantics, 1989, pp:284-300 [Conf]
  7. Satish R. Thatte
    Quasi-Static Typing. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:367-381 [Conf]
  8. Satish R. Thatte
    On the Correspondence Metween Two Classes of Reduction Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1985, v:20, n:2, pp:83-85 [Journal]
  9. Satish R. Thatte
    Finite Acyclic Theories are Unitary. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:2, pp:235-249 [Journal]
  10. Lawrence S. Moss, Satish R. Thatte
    Modal Logic and Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:111, n:1&2, pp:191-210 [Journal]
  11. Satish R. Thatte
    Implementing First-Order Rewriting with Constructor Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:61, n:, pp:83-92 [Journal]
  12. Satish R. Thatte
    Full Abstraction and Limiting Completeness in Equational Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:65, n:1, pp:85-119 [Journal]
  13. Satish R. Thatte
    Type Inference with Partial Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:124, n:1, pp:127-148 [Journal]

  14. 06291 Abstracts Collection -- The Role of Business Processes in Service-Oriented Architectures. [Citation Graph (, )][DBLP]


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