Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor

  • Hans-Jörg Kreowski
  • Fernando Orejas
  • Hartmut Ehrig
DOI : https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446

Résumé

Sin resumen

Téléchargements

Les données relatives au téléchargement ne sont pas encore disponibles.

##submission.format##

##submission.crossmark##

##submission.metrics##

Publié-e
1997-01-01
Comment citer
Kreowski H.-J., Orejas F. y Ehrig H. (1997). Correctness of horizontal and vertical composition for implementation concepts based on constructors and abstractor. Revista Matemática Complutense, 10(2), 365. https://doi.org/10.5209/rev_REMA.1997.v10.n2.17446
Numéro
Vol. 10 No. 2 (1997)
Rubrique
Artículos

Licence

LICENCIA DE USO: Los artículos a texto completo incluidos en el Portal de Revistas Científicas Complutenses son de acceso libre y propiedad de sus autores y/o editores. Por tanto, cualquier acto de reproducción, distribución, comunicación pública y/o transformación total o parcial requiere el consentimiento expreso y escrito de aquéllos. Cualquier enlace al texto completo de los artículos del Portal de Revistas Científicas Complutenses debe efectuarse a la URL oficial de la Universidad Complutense de Madrid