scientific article
From MaRDI portal
Publication:3653875
zbMath1248.03044MaRDI QIDQ3653875
M. Várterész, K. Pásztor Varga
Publication date: 29 December 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Distance in graphs (05C12) Boolean functions (06E30) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)
This page was built for publication:
