Concepedia

Publication | Closed Access

Linear time and branching time semantics for recursion with merge

DOI

48

Citations

6

References

1984

Year

J. W. de Bakker, J.A. Bergstra, Jan Willem Klop, John-Jules Meyer
Theoretical Computer Science

References

YearCitations

Page 1