Results 121 to 130 of about 14,770 (195)

Fly-automata for checking MSO 2 graph properties

open access: yes, 2015
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.
Courcelle, Bruno
core   +1 more source

Literary references to the dirham and the dinar in the mudéjar-morisco Manuscript of Ocaña [PDF]

open access: yes
El presente artículo trata las referencias al dirham y al dīnār que se encuentran en el Manuscrito mudéjar-morisco de Ocaña (Toledo, España).
Hofman Vannus, Iris
core   +1 more source

Home - About - Disclaimer - Privacy