External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications

Christoph Beierle, Angi Voß. Theory and Practice of Canonical Term Functors in Abstract Data Type Specifications. In Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari, editors, TAPSOFT 87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and . Volume 250 of Lecture Notes in Computer Science, pages 320-334, Springer, 1987.

Abstract

Abstract is missing.

runs on