Regular database update logics

Authors:
Paul Spruit;Roel Wieringa;John-Jules Meyer
Affiliations:
Vrije Univ., Amsterdam, Netherlands;Vrije Univ., Amsterdam, Netherlands;Utrecht Univ., Utrecht, Netherlands
Venue:
Theoretical Computer Science
Year:
2001

Citing 0
Cited 3

Dynamic logic for reasoning about actions and agents

Logic-based artificial intelligence
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective

IEEE Transactions on Knowledge and Data Engineering
Tool Support for Verifying UML Activity Diagrams

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	5.23

Visualization

Abstract