The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Horst Reichel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Horst Reichel
    Computable Functional Enrichments of Parameterized Behavioural Data Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  2. Horst Reichel
    Operational Semantics of Behavioural Canons based on Narrowing. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:235-248 [Conf]
  3. Horst Reichel
    A Two-Category Approach to Critical Pair Completion. [Citation Graph (0, 0)][DBLP]
    ADT, 1990, pp:266-273 [Conf]
  4. Horst Reichel
    Software Specification by Behavioural Canons. [Citation Graph (0, 0)][DBLP]
    Algebraic Methods, 1987, pp:117-138 [Conf]
  5. Horst Reichel
    An Algebraic Approach to Regular Sets. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:449-458 [Conf]
  6. Ulrich Hensel, Horst Reichel
    Defining Equations in Terminal Coalgebras. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:307-318 [Conf]
  7. Horst Reichel
    Behavioral Program Specification. [Citation Graph (0, 0)][DBLP]
    CTCS, 1985, pp:390-411 [Conf]
  8. H. Kaphengst, Horst Reichel
    Initial Algebraic Semantics for Non Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    FCT, 1977, pp:120-126 [Conf]
  9. Jörg Desel, Horst Reichel
    Workshop: Grundlagen der Parallelität. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:626- [Conf]
  10. Horst Reichel
    Initially-Restricting Algebraic Theories. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:504-514 [Conf]
  11. Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
    Algebraic-Coalgebraic Specification in Co Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:376-392 [Conf]
  12. Horst Reichel
    A Uniform Model Theory for the Specification of Data and Process Types. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:348-365 [Conf]
  13. Horst Reichel
    Unifying ADT - and Evolving Algebra Specifications. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1996, v:59, n:, pp:- [Journal]
  14. Ulrich L. Hupbach, Horst Reichel
    On Behavioural Equivalence of Data Types. [Citation Graph (0, 0)][DBLP]
    Elektronische Informationsverarbeitung und Kybernetik, 1983, v:19, n:6, pp:297-305 [Journal]
  15. Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  16. Horst Reichel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  17. Horst Reichel
    Dialgebraic Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  18. Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
    Algebraic-coalgebraic specification in CoCasl. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:146-197 [Journal]
  19. Horst Reichel
    An Approach to Object Semantics based on Terminal Co-Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:129-152 [Journal]
  20. Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
    Foreword : Coalgebraic Methods in Computer Science 1998. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:1- [Journal]

Search in 0.027secs, Finished in 0.028secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002