The following pages link to Sergio Mera (Q408551):
Displaying 11 items.
- Completeness results for memory logics (Q408552) (← links)
- Algorithms for finding clique-transversals of graphs (Q940841) (← links)
- Algorithms for clique-independent sets on subclasses of circular-arc graphs (Q2500526) (← links)
- Basic Model Theory for Memory Logics (Q3003344) (← links)
- THE EXPRESSIVE POWER OF MEMORY LOGICS (Q3094189) (← links)
- Expressive Power and Decidability for Memory Logics (Q3511448) (← links)
- DKAL and Z3: A Logic Embedding Experiment (Q3586018) (← links)
- Completeness Results for Memory Logics (Q3605517) (← links)
- Tableaux and Model Checking for Memory Logics (Q3648720) (← links)
- (Q4993611) (← links)
- (Q5708496) (← links)
