scientific article; zbMATH DE number 1735904
From MaRDI portal
Publication:4329266
zbMath1009.68037MaRDI QIDQ4329266
Jarosław Kachniarz, Andrzej Szałas
Publication date: 29 April 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals ⋮ Annotation theories over finite graphs
This page was built for publication:
