18 search results - page 1 / 4 » A Solver for Modal Fixpoint Logics |
ENTCS
2010
13 years 6 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
IANDC
2006
13 years 8 months ago
2006
Fixpoint Logic with Chop extends the modal
LPAR
2007
Springer
14 years 2 months ago
2007
Springer
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...
MST
2011
13 years 3 months ago
2011
Hierarchical graph definitions allow a modular description of graphs using modules for the specification of repeated substructures. Beside this modularity, hierarchical graph de...