The equational logic of fixed points

Stephen L. Bloom, Zoltán Ésik

Research output: Contribution to journalReview article

32 Citations (Scopus)
Original languageEnglish
Pages (from-to)1-60
Number of pages60
JournalTheoretical Computer Science
Volume179
Issue number1-2
DOIs
Publication statusPublished - Jun 1 1997

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this