Dual Systems of Tableaux and Sequents for PLTL

  1. Gaintzarain, J.
  2. Hermo, M.
  3. Lucio, P.
  4. Navarro, M.
  5. Orejas, F.
Aldizkaria:
Journal of Logic and Algebraic Programming

ISSN: 1567-8326

Argitalpen urtea: 2009

Alea: 78

Zenbakia: 8

Orrialdeak: 701-722

Mota: Artikulua

DOI: 10.1016/J.JLAP.2009.05.001 GOOGLE SCHOLAR lock_openSarbide irekia editor

Garapen Iraunkorreko Helburuak

Datuen iturria: Scopus