dblp.uni-trier.dewww.uni-trier.de

George E. Strecker

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2000
7EEGeorge E. Strecker: Flows With Respect to a Functor. Applied Categorical Structures 8(3): 559-578 (2000)
1994
6 Austin Melton, Bernd S. W. Schröder, George E. Strecker: Lagois Connections - a Counterpart to Galois Connections. Theor. Comput. Sci. 136(1): 79-107 (1994)
1991
5 Austin Melton, Bernd S. W. Schröder, George E. Strecker: Connections. MFPS 1991: 492-506
1988
4 Hajnal Andréka, R. J. Greechie, George E. Strecker: On Residuated Approximations. Categorial Methods in Computer Science 1988: 333-339
1987
3 J. M. McDill, Austin Melton, George E. Strecker: A Category of Galois Connections. Category Theory and Computer Science 1987: 290-300
1985
2 Austin Melton, David A. Schmidt, George E. Strecker: Calois Connections and Computer Science Applications. CTCS 1985: 299-312
1 H. Bargenda, Horst Herrlich, George E. Strecker: Concrete Categories and Injectivity. Mathematical Foundations of Programming Semantics 1985: 42-52

Coauthor Index

1Hajnal Andréka [4]
2H. Bargenda [1]
3R. J. Greechie [4]
4Horst Herrlich [1]
5J. M. McDill [3]
6Austin Melton [2] [3] [5] [6]
7David A. Schmidt [2]
8Bernd S. W. Schröder [5] [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)