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