Equational partiality-Reference-Cited by-同舟云学术

Equational partiality

Published:1983-12 Issue:1 Volume:16 Page:219-232
ISSN:0002-5240
Container-title:Algebra Universalis
language:en
Short-container-title:Algebra Universalis

Author:

Benecke Klaus,Reichel Horst

Publisher

Springer Science and Business Media LLC

Subject

Algebra and Number Theory

Link

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

Reference17 articles.

1. Current Trends in Programming Methodology. IV. Data Structuring;ADJ Goguen,1978

2. H.Andreka, P.Burmeister and I.Nemeti,Quasivarieties of partial algebras?aunifying approach towards a two-valued model theory for partial algebras, TH Darmstadt, Fachbereich Mathematik, Preprint Nr. 557, 1980.

3. H.Andreka and I.Nemeti,Applications of universal algebra, model theory, and categories in computer science, Computational Linguistics and Computer Languages, Vol XIII, 1979.

4. G.Birkhoff and J. D.Lipson,Heterogeneous algebras, J. Combinatorical Theory,8, pp. 115?133.

5. P.Burmeister,Primitive Klassen partieller Algebren, Habilitationsschrift, Universit�t Bonn, 1971.

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

1. Identity and existence, and types in algebra;Recent Trends in Data Type Specification;1994

2. Parametrization for order-sorted algebraic specification;Journal of Computer and System Sciences;1990-04

3. Foundations are rich institutions, but institutions are poor foundations;Categorical Methods in Computer Science With Aspects from Topology;1989

4. Specifications in an arbitrary institution;Information and Computation;1988-02

5. Partial algebras, subsorting, and dependent types;Recent Trends in Data Type Specification;1988