Decidability of the Class E by Maslov’s Inverse Method (Q3586019)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decidability of the Class E by Maslov’s Inverse Method |
scientific article |
Statements
Decidability of the Class E by Maslov’s Inverse Method (English)
0 references
3 September 2010
0 references
decidable classes
0 references
automated deduction
0 references
inverse method
0 references