✦ LIBER ✦

On the model-checking of monadic second-order formulas with edge set quantifications

✍ Scribed by Bruno Courcelle

Book ID: 113564610
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 471 KB
Volume: 160
Category: Article
ISSN: 0166-218X
DOI: 10.1016/j.dam.2010.12.017

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The monadic second-order logic of graphs

The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications

✍ Bruno Courcelle 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 342 KB

We consider the class US k of uniformly k-sparse simple graphs, i.e., the class of ÿnite or countable simple graphs, every ÿnite subgraph of which has a number of edges bounded by k times the number of vertices. We prove that for each k, every monadic second-order formula (intended to express a grap

On properties of the second order genera

On properties of the second order generalized autoregressive GAR(2) model with index

✍ Mahendran Shitan; Shelton Peiris 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 576 KB

Pure phases of the ferromagnetic Potts m

Pure phases of the ferromagnetic Potts model with three states on a second-order Bethe lattice

✍ N. N. Ganikhodzhaev 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 647 KB

A comparative study of the first and sec

A comparative study of the first and second order theories and Goda's formula for wave-induced pressure on a vertical breakwater with irregular waves

✍ G. Gurhan; D. Unsalan 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 128 KB

On the optimality of joint ordering poli

On the optimality of joint ordering policies in a multi-product dynamic lot size model with individual and joint set-up costs

✍ Fokko ter Haseborg 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 656 KB