scientific article; zbMATH DE number 1444741

zbMATH Open0945.03020MaRDI QIDQ4952322FDOQ4952322

Authors: Marcelo Finger, Mark Alexander Reynolds 

Publication date: 9 May 2000

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4946222
• A two-dimensional metric temporal logic
• Handling database updates in two-dimensional temporal logic
• A logical reconstruction of temporal databases
• Executable temporal logic systems

zbMATH Keywords

two-dimensional temporal logicexecutable temporal logicsbitemporal databaseshotel room bookingimperative future

Mathematics Subject Classification ID

Database theory (68P15) Temporal logic (03B44) Logic in computer science (03B70) Operations research and management science (90B99)

Cited In (3)

• Handling database updates in two-dimensional temporal logic
• Title not available (Why is that?)
• A logical reconstruction of temporal databases

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952322)