Transforming Mathematical Models Using Declarative Reformulation Rules

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-25566-3_30
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Using Task and Data Models for User Interface Declarative Generation

2010English

CAD Recognition Using Three Mathematical Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Determination of Capacity and Rules of the Variability of Maximum Force Using Nonlinear Mathematical Models: A Case Study.

Central European Journal of Sport Sciences and Medicine
2016English

Declarative Transformation for Object-Oriented Models

English

Modeling Reformulation Using Query Distributions

ACM Transactions on Information Systems
Computer Science ApplicationsAccountingManagementInformation SystemsBusiness
2013English

Rules for Transforming OWL 2 Ontology Into SBVR

2014English

User Interface Declarative Models and Development Environments: A Survey

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Transforming Graphical System Models to Graphical Attack Models

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Mathematical Models of Morphogenesis

ITM Web of Conferences
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy