scientific article

zbMath1380.68089MaRDI QIDQ3133180

José Luiz Fiadeiro, Ionuţ Ţuţu

Publication date: 13 February 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Logic programming (68N17)

Related Items (2)

Term charters ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: