2000 |
7 | EE | George 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 |