Toupie: The \(\mu\)-calculus over finite domains as a constraint language
From MaRDI portal
Publication:1369077
DOI10.1023/A:1005732517165zbMath0941.03532MaRDI QIDQ1369077
Marc-Michel Corsini, Antoine Rauzy
Publication date: 12 April 2000
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Related Items (1)
This page was built for publication: Toupie: The \(\mu\)-calculus over finite domains as a constraint language
