On Non-local Propositional and Weak Monodic Quantified CTL

From Tetherless World Wiki

Jump to: navigation, search
 On Non-local Propositional and Weak Monodic Quantified CTL
Has publishing details  14(1):3-22, 2004
Has title  On Non-local Propositional and Weak Monodic Quantified CTL
Has where published  J. Log. Comput.
Has year  2004
Has author  Sebastian Bauer +, Ian M. Hodkinson +, Frank Wolter +, Michael Zakharyaschev +
Has identifier  DBLP:journals/logcom/BauerHWZ04 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools