Monadic-second order logic (mso-logic) is successfully applied in both language theory and algorithm design. In the former, properties definable by mso-formulas are exactly the regular properties on many structures like, most prominently, strings. In the latter, solving a problem for structures of bounded tree width is routinely done by defining it in terms of an mso-formula and applying genera...

      Paclitaxel is a highly effective anticancer agent. It is active against a broad range of cancers that are generally considered refracto...

Objective:<span style="line-height: 115%; font-family: 'Cambria','serif'; font-size: 10pt; mso-bidi-font-family: 'Times New Roman'; mso-...

Ultrasonic testing is a versatile and important nondestructive testing method. In many industrial applications, ultrasonic testing is carried out at relatively high temperatures. Since the ultrasonic w...

Objective:<span style="line-height: 115%; font-family: 'Cambria','serif'; font-size: 10pt; mso-bidi-font-family: 'Times New Roman'; mso-...

A more descriptive but too long title would be : Constructing fly-automata to check properties of graphs of bounded tree-width expressed by monadic second-order formulas written with edge quantifications. Such properties are called MSO2 in short. Fly-automata (FA) run bottom-up on terms denoting graphs and compute " on the fly " the necessary states and transitions instead of looking into huge,...