New algorithm for weak monadic second-order logic on inductive structures (Q3586053)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5779258
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | New algorithm for weak monadic second-order logic on inductive structures |
scientific article; zbMATH DE number 5779258 |
Statements
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures (English)
0 references
3 September 2010
0 references
0.7484723925590515
0 references
0.725136935710907
0 references
0.7248977422714233
0 references
0.7246265411376953
0 references
0.720252513885498
0 references
