Logic for Programming, Artificial Intelligence, and Reasoning

DOI10.1007/b106931zbMath1109.03006OpenAlexW4206255911MaRDI QIDQ5705927

Roberto Di Cosmo, Thomas Dufour

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b106931

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

On models of exponentiation. Identities in the HSI-algebra of posets ⋮ QPCF: higher-order languages and quantum circuits

This page was built for publication: Logic for Programming, Artificial Intelligence, and Reasoning