scientific article; zbMATH DE number 1841822
From MaRDI portal
Publication:4783310
zbMath0999.68122MaRDI QIDQ4783310
Stanislas Nanchen, Robert F. Stärk
Publication date: 4 December 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420217
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
A Logic for Reflective ASMs ⋮ Completeness of fair ASM refinement ⋮ A Proof System with Bounded Non-determinism in Database Transformations ⋮ Computation on structures. Behavioural theory, logic, complexity
This page was built for publication: