George E. Strecker

Publication Activity (10 Years)

Years Active: 1985-2000
Publications (10 Years): 0

Publications

George E. Strecker
Flows With Respect to a Functor. Appl. Categorical Struct. 8 (3) (2000)
Austin Melton, Bernd S. W. Schröder, George E. Strecker
Lagois Connections - a Counterpart to Galois Connections. Theor. Comput. Sci. 136 (1) (1994)
Gabriele Castellini, Jürgen Koslowski, George E. Strecker
Regular closure operators. Appl. Categorical Struct. 2 (3) (1994)
Austin Melton, Bernd S. W. Schröder, George E. Strecker
Connections. MFPS (1991)
Hajnal Andréka, R. J. Greechie, George E. Strecker
On Residuated Approximations. Categorial Methods in Computer Science (1988)
J. M. McDill, Austin Melton, George E. Strecker
A Category of Galois Connections. Category Theory and Computer Science (1987)
Austin Melton, David A. Schmidt, George E. Strecker
Calois Connections and Computer Science Applications. CTCS (1985)
H. Bargenda, Horst Herrlich, George E. Strecker
Concrete Categories and Injectivity. Mathematical Foundations of Programming Semantics (1985)