scientific article

From MaRDI portal

Revision as of 21:48, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3075232

Jump to:navigation, search

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.

zbMATH Keywords

monadic second-order logic abstract state machine extensible markup language tree algebra computation background database transformation

Mathematics Subject Classification ID

Database theory (68P15) Logic in computer science (03B70)

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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3075232&oldid=16136354"