Tag:Temporal-reasoning

From Wikipedia, the free encyclopedia

Jump to: navigation, search

Related Tags

logic temporal temporal-logic semantics verification language dataspace @todo checking meeting formalmethods lambda logics formal model operators strathclyde phd time temporal-theory thesis

Articles

Temporal logic (1)
logic temporal temporal-logic semantics wikipedia language verification strathclyde operators phd time model thesis temporal-theory temporal-reasoning formalmethods checking @todo dataspace formal logics lambda meeting

Retrieved from "http://en.wikipedia.org/wiki/Tag:Temporal-reasoning"

Views

Personal tools

Log in / create account

Search

Toolbox