scientific article; zbMATH DE number 1953887

zbMath1027.03029MaRDI QIDQ4415071

Thomas S. E. Maibaum, Marcelo Fabián Frias, Gabriel A. Baum

Publication date: 28 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2561/25610066.htm

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (1)

Interpretability of first-order linear temporal logics in fork algebras

This page was built for publication: