scientific article
From MaRDI portal
Publication:3075232
zbMath1216.68094MaRDI QIDQ3075232
Qing Wang, Klaus-Dieter Schewe
Publication date: 10 February 2011
Full work available at URL: http://www.jucs.org/jucs_16_20/xml_database_transformations
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monadic second-order logicabstract state machineextensible markup languagetree algebracomputation backgrounddatabase transformation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Distributed Adaptive Systems ⋮ Systematic Refinement of Abstract State Machines with Higher-Order Logic ⋮ A Logic for Reflective ASMs ⋮ Concurrent abstract state machines ⋮ A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
This page was built for publication:
