Courcelle, B., The monadic second-order logic of graphs V: on closing the gap between definability and recognizability, Theoretical Computer Science 80 (1991) 153-202. Context-free graph-grammars are considered such that, in every generated graph (3, a derivation tree of G can be constructed by means of monadic second-order formulas that specify its nodes, its labels, the successors of a node e...

Effect of CO2-related acidification on aspects of the larval development of the European lobster, Homarus gammarus (L.) K. E. Arnold, H. S. Findlay, J. I. Spicer, C. L. Daniels, and D. Boothroyd National Lobster Hatchery, South Quay, Padstow, Cornwall, PL28 8BL, UK Plymouth Marine Laboratory, Prospect Place, West Hoe, Plymouth, Devon, PL1 3DH, UK Marine Biology and Ecology Research Centre, Scho...

................................................................................................................. iii ACKNOWLEDGMENTS............................................................................................ viii LIST OF TABLES.......................................................................................................... x LIST OF FIGURES ..............................

We prove that we can specify by formulas of monadic second-order logic the unique planar embedding of a 3-connected planar graph. If the planar graph is not 3-connected but given with a linear order of its set of edges, we can also define a planar embedding by monadic second-order formulas. We cannot do so in general without the ordering, even for 2-connected planar graphs. The planar embedding...

green architecture, or green design, is an approach to building that minimizes harmful effects on human health and the environment. the “green” architect or designer attempts to safeguard air, water, and earth by choosing eco-friendly building materials and construction practices. so, green architecture is building and structure design philosophy that aims at minimal use of non-renewable and/or...

This article establishes that the split decomposition of graphs introduced by Cunnigham, is definable in Monadic Second-Order Logic.This result is actually an instance of a more general result covering canonical graph decompositions like the modular decomposition and the Tutte decomposition of 2-connected graphs into 3-connected components. As an application, we prove that the set of graphs hav...

Over recent years, the Lie and Hopf algebra structures of Feynman graphs have been firmly established in collaboration with Alain Connes and David Broadhurst [1–11]. Hopefully, they find their way now into the algorithmic toolkit of the practitioner of QFT. They directly address the computational practice of momentum space Feynman integrals, but can be equivalently formulated in coordinate spac...

cospectrality of two graphs measures the differences between the ordered spectrum of these graphs in various ways. actually,the origin of this concept came back to richard brualdi's problems that are proposed in cite{braldi}:let $g_n$ and $g'_n$ be two nonisomorphic simple graphs on $n$ vertices with spectra$$lambda_1 geq lambda_2 geq cdots geq lambda_n ;;;text{and};;; lambda'_1 geq lambda'_2 g...

in this paper, the weighted szeged indices of cartesian product and corona product of twoconnected graphs are obtained. using the results obtained here, the weighted szeged indices ofthe hypercube of dimension n, hamming graph, c4 nanotubes, nanotorus, grid, t− fold bristled,sunlet, fan, wheel, bottleneck graphs and some classes of bridge graphs are computed.