Relations as Abstract Datatypes: An Institution to Specify Relations Between Algebras

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-59293-8_233
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Relations Between Banach Function Algebras and Their Uniform Closures

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1990English

Polarization Algebras and Their Relations

Journal of Commutative Algebra
Number TheoryAlgebra
2019English

Congruence Relations on Lattice Implication Algebras

Journal of Mathematics Research
2011English

Axiomatizability of Reducts of Algebras of Relations

Algebra Universalis
Number TheoryLogicAlgebra
2000English

Heisenberg–lie Commutation Relations in Banach Algebras

Mathematical Proceedings of the Royal Irish Academy
2009English

Combinatorial Hopf Algebras and Generalized Dehn–Sommerville Relations

Compositio Mathematica
Number TheoryAlgebra
2006English

Graphs With Relations, Coverings and Group-Graded Algebras

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1983English

Realization of Intersubject Relations Between Physics and Ship Handling in Higher Maritime Educational Institution

Innovate Pedagogy
2019English

From Set Relations to Belief Function Relations

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy