The following pages link to Eleni Mandrali (Q2453982):
Displayed 6 items.
- On weighted first-order logics with discounting (Q2453983) (← links)
- Weighted First-Order Logics over Semirings (Q2803057) (← links)
- Characterizations of Weighted First-Order Logics over Semirings (Q2850020) (← links)
- Weighted LTL with Discounting (Q2914725) (← links)
- (Q3077193) (← links)
- A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids (Q5089624) (← links)