Login / Signup
Hans-Jürgen Hoehnke
Publication Activity (10 Years)
Years Active: 1974-2004
Publications (10 Years): 0
</>
Publications
</>
Hans-Jürgen Hoehnke
Quasi-varieties: A special access.
Stud Logica
78 (1-2) (2004)
Hans-Jürgen Hoehnke
A Birkhoff theorem for partial algebras via completion.
Appl. Categorical Struct.
4 (4) (1996)
Hans-Jürgen Hoehnke
On Partial Recursive Definitions and Programs.
FCT
(1977)
Hans-Jürgen Hoehnke
Algebraic Models I.
MFCS
(1974)
Hans-Jürgen Hoehnke
Synthesis and complexity of logical systems.
Category Theory Applied to Computation and Control
(1974)