scientific article
From MaRDI portal
Publication:3558858
zbMath1214.68120MaRDI QIDQ3558858
Publication date: 10 May 2010
Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2007/A2007-01/JFLP-A2007-01.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Paraconsistent computation tree logic
This page was built for publication:
