scientific article; zbMATH DE number 1182737

zbMath0903.68066MaRDI QIDQ4400809

Wolfgang May, Bertram Ludäscher, Georg Lausen

Publication date: 14 December 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

active databasesStatelog

Mathematics Subject Classification ID

Database theory (68P15) Other applications of logic (03B80)

Related Items

Reactive computing as model generation, Database repair via event-condition-action rules in dynamic logic