scientific article; zbMATH DE number 1337728
From MaRDI portal
Publication:4264098
zbMath0935.68066MaRDI QIDQ4264098
Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas
Publication date: 11 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions ⋮ Unnamed Item ⋮ Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals
This page was built for publication: