search query: @keyword logic programs / total: 2
references: 1-2 / 2
« previous page | next page »
 titleyearauthor
1.
Solving Boolean Equation Systems
2005 Keinänen, Misa
2.
Deadlock and Reachability Checking with Finite Complete Prefixes
1999 Heljanko, Keijo
« previous page | next page »
INSSI