• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Article

Algorithmic aspects of propositional tense logics.

Lecture Notes in Computer Science. 1995. Vol. 933. P. 442-455.
Shehtman V. B., Chagrov A.