Proof theory of epistemic logic of programs

  1. Maffezioli, P.
  2. Naibo, A.
Aldizkaria:
Logic and Logical Philosophy

ISSN: 2300-9802

Argitalpen urtea: 2014

Alea: 23

Zenbakia: 3

Orrialdeak: 301-328

Mota: Artikulua

DOI: 10.12775/LLP.2013.026 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus