Amanote Research

Amanote Research

    RegisterSign In

On the Algebra of Structured Specifications

Theoretical Computer Science - Netherlands
doi 10.1016/j.tcs.2011.04.008
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

June 1, 2011

Authors
Răzvan DiaconescuIonuţ Ţuţu
Publisher

Elsevier BV


Related search

Formalized Structured Analysis Specifications

English

Structured Co-Spans: An Algebra of Interaction Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

The Intuitions of Higher Dimensional Algebra for the Study of Structured Space

Revue de synthese / Centre international de synthese
Philosophy
2003English

Generation of a Function-Component-Parameter Multi-Domain Matrix From Structured Textual Function Specifications

Research in Engineering Design - Theory, Applications, and Concurrent Engineering
IndustrialMechanical EngineeringCivilStructural EngineeringManufacturing EngineeringArchitecture
2018English

On the Perturbation Algebra

Journal of Algebra
Number TheoryAlgebra
2019English

On the Teaching of Linear Algebra

2002English

On the Radical of a Lie Algebra

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1950English

On the Q-Meromorphic Weyl Algebra

Sao Paulo Journal of Mathematical Sciences
MathematicsStatisticsUncertaintyProbabilityComputational Theory
2009English

Influence of the Changed USP Specifications on Disintegration Test Performance

Dissolution Technologies
Pharmaceutical Science
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy