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
scientific article; zbMATH DE number 512949 - MaRDI portal

scientific article; zbMATH DE number 512949

From MaRDI portal

Publication:4281664

Jump to:navigation, search

zbMath0789.68091MaRDI QIDQ4281664

S. M. Brien

Publication date: 10 March 1994

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

zbMATH Keywords

real-time systems duration calculus temporal logics Tarski's calculus of relations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

An algebraic approach to temporal logic ⋮ A calculus of durations ⋮ Sequential calculus

This page was built for publication:

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