Technical report

Adding Propositional Scopes ...

Haydar, M., Boroday, S., Petrenko, A., Sahraoui, H. Adding Propositional Scopes to Linear Temporal Logic. Montréal, CRIM, 2005. 24 p. . [CRIM-05/05-06]

  • IVADO RT @IVADO_Qc: Montréal, cerveau de l'intelligence artificielle https://t.co/XZqjKerXZL via @LesEchos
  • Montréal Intl RT @MTLINTL: Indeed! #Montréal has so much to offer when it comes to #AI! Great video of .@business highlighting #Canada's rise of #Artific…