Synthesizing Monadic Predicates

DOI10.1093/LOGCOM/EXN006zbMath1154.03307OpenAlexW2082081601MaRDI QIDQ3549312

Carlo Meghini, Nicolas Spyratos

Publication date: 22 December 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn006

zbMATH Keywords

complexityformal concept analysisCNF/DNF monadic predicates

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

This page was built for publication: Synthesizing Monadic Predicates