Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Dynamic Logic Model of Time Axes in Temporal Database - MaRDI portal

Dynamic Logic Model of Time Axes in Temporal Database

From MaRDI portal

Publication:3071454

Jump to:navigation, search

DOI10.3724/SP.J.1001.2010.03511zbMath1224.68028MaRDI QIDQ3071454

Yong Tang, Dongning Liu

Publication date: 5 February 2011

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

dynamic logic tense logic temporal database action parameter time axes

Mathematics Subject Classification ID

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

This page was built for publication: Dynamic Logic Model of Time Axes in Temporal Database

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