Logic, Abstract State Machines and Databases

Klaus-Dieter Schewe

doi:10.3217/jucs-015-01

JUCS - Journal of Universal Computer Science 15(1): 1-2, doi: 10.3217/jucs-015-01

Logic, Abstract State Machines and Databases

Klaus-Dieter Schewe^‡

‡ Johannes Kepler University Linz, Linz, Austria

Corresponding author: Klaus-Dieter Schewe ( kdschewe@acm.org )

This article is freely available under the J.UCS Open Content License.

Citation: Schewe K-D (2009) Logic, Abstract State Machines and Databases. JUCS - Journal of Universal Computer Science 15(1): 1-2. https://doi.org/10.3217/jucs-015-01