Implementing the Model Evolution Calculus

International Journal on Artificial Intelligence Tools - Singapore
doi 10.1142/s0218213006002552
Full Text
Abstract

Available in full text

Date
Authors
Publisher

World Scientific Pub Co Pte Lt

Related search

The Model Evolution Calculus With Equality

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Implementing the Π-Calculus in Java.

Journal of Object Technology
Software
2005English

Implementing Spi Calculus Using Nominal Techniques

English

The Evolution of Coronal Mass Ejections in the Inner Heliosphere: Implementing the Spheromak Model With EUHFORIA

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2019English

Implementing Model Reduction to the JuliaFEM Platform

Rakenteiden Mekaniikka
2018English

Implementing a Concept Network Model

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
2019English

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

Implementing a Dominican Model of Leadership

Educational Considerations
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy