Algebraic specifications for parametrized data types with minimal parameter and target algebras-Reference-Cited by-同舟云学术

Algebraic specifications for parametrized data types with minimal parameter and target algebras

Published:1982 Issue: Volume: Page:23-34
ISSN:0302-9743
Container-title:Automata, Languages and Programming
language:
Short-container-title:

Author:

Bergstra J. A.,Klop J. W.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0012754

Reference16 articles.

1. BERGSTRA, J.A. & J.W. KLOP, Algebraic specifications for parametrized data types with minimal parameter and target algebras, Mathematical. Centre, Department of Computer Science Research Report IW 183, Amsterdam 1981.

2. BERGSTRA, J.A. & J.W. KLOP, Initial algebra specifications for parametrized data types, Mathematical Centre, Department of Computer Science Research Report IW 186, Amsterdam 1981.

3. BERGSTRA, J.A. & J.V. TUCKER, Algebraic specifications of computable and semi-computable data structures, Mathematical Centre, Department of Computer Science Research Report IW 115, Amsterdam 1979.

4. BERGSTRA, J.A. & J.V. TUCKER, A characterization of computable data types by means of a finite equational specification method, Proc. 7th ICALP, Springer LNCS Vol. 85, 1980.

5. BERGSTRA, J.A. & J.V. TUCKER, Initial and final algebra semantics for data type specifications: two characterization theorems, Mathematical Centre, Department of Computer Science Research Report IW 131, Amsterdam 1980.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Explainable machine learning for predicting stomatal conductance across multiple plant functional types;Agricultural and Forest Meteorology;2024-05

2. Parameterized Recursion Theory — A Tool for the Systematic Classification of Specification Methods;Algebraic Methodology and Software Technology (AMAST’93);1994

3. Term rewriting systems with priorities;Rewriting Techniques and Applications;1987

4. Bibliographie;Algebraische Spezifikation;1983