Pages that link to "Item:Q5387835"
From MaRDI portal
The following pages link to An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures (Q5387835):
Displayed 5 items.
- Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT (Q2003999) (← links)
- Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games (Q2285664) (← links)
- On distinguishing sets of structures by first-order sentences of minimal quantifier rank (Q2333677) (← links)
- (Q3384892) (← links)
- Games on Strings with a Limited Order Relation (Q3605528) (← links)