Which data types have &ohgr;-complete initial algebra specifications?

Authors:
J. A. Bergstra;J. Heering
Affiliations:
Univ. of Amsterdam, Amsterdam, The Netherlands and Utrecht Univ., Utrecht, The Netherlands;CWI, Amsterdam, The Netherlands
Venue:
Theoretical Computer Science
Year:
1994

Citing 0
Cited 3

Toward a complete transformational toolkit for compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)
Finite equational bases in process algebra: results and open questions

Processes, Terms and Cycles

Quantified Score

Hi-index	5.23

Visualization

Abstract