Infinitary relations and their representation.

DOI10.1016/S0167-6423(02)00130-2zbMath1047.68136OpenAlexW2165618977MaRDI QIDQ1398672

Laurent Mauborgne

Publication date: 7 August 2003

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(02)00130-2

zbMATH Keywords

Static analysisBDDModel checkingInfinite functions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

This page was built for publication: Infinitary relations and their representation.