scientific article
From MaRDI portal
Publication:2811588
zbMATH Open1344.03022MaRDI QIDQ2811588
Daiva Aleknavičiūtė, Stanislovas Norgėla
Publication date: 10 June 2016
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Hybrid Logics with Infinitary Proof Systems ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ SAT-based proof search in intermediate propositional logics
This page was built for publication:
