An Algebraic Semantics for QVT-Relations Check-Only Transformations

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2011-618
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Remarks on an Algebraic Semantics for Paraconsistent Nelson's Logic

Manuscrito
Philosophy
2011English

An Algebraic Conjugacy Invariant for Measure Preserving Transformations

Bulletin of the American Mathematical Society
1967English

Implementing Business Process Recovery Patterns Through QVT Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Algebraic Framework for Synchronous Language Semantics

2013English

Algebraic Graph Transformations for Merging Ontologies

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Many-Valued Logic: Beyond Algebraic Semantics

Soft Computing
GeometrySoftwareTheoretical Computer ScienceTopology
2012English

Combinatorial and Algebraic Results for Database Relations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Store, Forget, and Check: Using Algebraic Signatures to Check Remotely Administered Storage

English

On Lie Algebras of Algebraic Linear Transformations

Pacific Journal of Mathematics
Mathematics
1956English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy