BDD based procedures for a theory of equality with uninterpreted functions

DOI10.1023/A:1022988809947zbMath1021.68057OpenAlexW1525425510MaRDI QIDQ1870209

Could not fetch data.

Publication date: 11 May 2003

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022988809947

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.