A new thesis concerning synchronised parallel computing – simplified parallel ASM thesis von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

A unifying logic for non-deterministic, parallel and concurrent abstract state machines von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

A complete logic for Database Abstract State Machines1 von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

A Behavioural Theory for Reflective Sequential Algorithms von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana

Volltext

A Logic for Non-deterministic Parallel Abstract State Machines von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

Towards an ASM Thesis for Reflective Sequential Algorithms von Ferrarotti, Flavio, Tec, Loredana, Torres, José María Turull

Volltext

Capturing Membrane Computing by ASMs von Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

Distributed Adaptive Systems: Theory, Specification, Reasoning von Schewe, Klaus-Dieter, Ferrarotti, Flavio, Tec, Loredana, Wang, Qing

Volltext

Incremental Language Inclusion Checking for Networks of Timed Automata von Krenn, Willibald, Ničković, Dejan, Tec, Loredana

Volltext

A symbolic framework for general polynomial domains in theorema: applications to boundary problems von Tec, Loredana

Volltext

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra von Tec, Loredana, Regensburger, Georg, Rosenkranz, Markus, Buchberger, Bruno

Volltext

A constructive method for computing generalized Manley--Rowe constants of motion von Kartashova, Elena, Tec, Loredana

Volltext

A Logic for Non-Deterministic Parallel Abstract State Machines von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

A Symbolic Framework for Operations on Linear Boundary Problems von Rosenkranz, Markus, Regensburger, Georg, Tec, Loredana, Buchberger, Bruno

Volltext

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic von Ferrarotti, Flavio, Tec, Loredana, Turull-Torres, José María

Volltext bestellen

A Complete Logic for Database Abstract State Machines von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext bestellen

Towards an ASM thesis for reflective sequential algorithms von Ferrarotti, Flavio, Tec, Loredana, Turull Torres, Jose Maria

Volltext

A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

A Complete Logic for Database Abstract State Machines von Ferrarotti, Flavio, Schewe, Klaus-Dieter, Tec, Loredana, Wang, Qing

Volltext

On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic von Ferrarotti, Flavio, Tec, Loredana, Turull-Torres, José María

Volltext