Studia Universitatis Babes-Bolyai: Series Informatica (Jul 2009)

Proving the Decidability of the PDLxPDL Product Logic

  • P. Balbiani,
  • L. Aszalos

Journal volume & issue
Vol. 54, no. 1
pp. 3 – 16

Abstract

Read online

No abstracts available.