scientific article

MaRDI QIDQ3384892

Thiago Alves Rocha, Ana Teresa Martins, Francicleber Martins Ferreira

Publication date: 17 December 2021

Full work available at URL: https://arxiv.org/abs/1809.03106

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Synthesis of quantifier-free DNF sentences from inconsistent samples of strings with EF games and SAT ⋮ Synthesis of a DNF formula from a sample of strings using Ehrenfeucht-Fraïssé games ⋮ On distinguishing sets of structures by first-order sentences of minimal quantifier rank

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Classifying regular events in symbolic logic
• On Separation by Locally Testable and Locally Threshold Testable Languages
• An application of games to the completeness problem for formalized theories
• Weak Second‐Order Arithmetic and Finite Automata
• Logical and Relational Learning
• Experiments with Reduction Finding
• Cognitive and Sub-regular Complexity
• An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures
• Inductive logic programming

This page was built for publication: