Pages that link to "Item:Q266860"

The following pages link to Guido Sciavicco (Q266860):

Displaying 3 items.

• Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms (Q5276108) (← links)
• Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240) (← links)
• Evaluation of temporal datasets via interval temporal logic model checking (Q6486433) (← links)