scientific article
From MaRDI portal
Publication:2848413
zbMath1272.68364MaRDI QIDQ2848413
Publication date: 26 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002355
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Monotonicity inference for higher-order formulas, Monotonicity Inference for Higher-Order Formulas, Bounded Relational Analysis of Free Data Types, Decidable fragments of many-sorted logic
