Equational logic of circular data type specification

Authors:
S. L. Bloom;Z. Esik
Affiliations:
Stevens Institute of Technology, Hoboken, NJ;A. Jozsef Univ., Szeged, Hungary
Venue:
Theoretical Computer Science
Year:
1989

Citing 0
Cited 4

Floyd-Hoare logic in iteration theories

Journal of the ACM (JACM)
A Mezei-Wright theorem for categorical algebras

Theoretical Computer Science
Stephen L. Bloom 1940-2010

Fundamenta Informaticae
A Connection Between Concurrency and Language Theory

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	5.23

Visualization

Abstract