Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (Q1709455)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of -automata |
scientific article; zbMATH DE number 6856398
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata |
scientific article; zbMATH DE number 6856398 |
Statements
Some subsets of monadic first-order logic (MFO) used for the specification and synthesis of \(\Sigma\)-automata (English)
0 references
5 April 2018
0 references
first-order logic
0 references
past formula
0 references
future formula
0 references
automatic semantics
0 references
symmetric formula
0 references
0.87941045
0 references
0.8580253
0 references
0.85727143
0 references
0.85686433
0 references
0.83911484
0 references
0.83294106
0 references
0 references
