The Model Evolution Calculus With Equality

Lecture Notes in Computer Science - Germany
doi 10.1007/11532231_29
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Implementing the Model Evolution Calculus

International Journal on Artificial Intelligence Tools
Artificial Intelligence
2006English

Pi+-Calculus: A Calculus for Concurrent Processes With Constraints

CLEI Electronic Journal
1998English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Simple Lambda-Calculus Model of Programming Languages

1973English

Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Calculus With Complex Numbers

Choice Reviews Online
2004English

Computability via the Lambda Calculus With Patterns

Journal of Mathematics Research
2010English

On the Operational Calculus With Differentiable Functions

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
1958English

The Sentential Calculus With Infinitely Long Expressions

Colloquium Mathematicum
Mathematics
1958English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy