Verifying Monadic Second-Order Properties of Graph Programs Christopher M. Poskitt1 and Detlef Plump2 1 2 - Median graph - Document - PDFSEARCH.IO

First Page	Meta Content
	Verifying Monadic Second-Order Properties of Graph Programs Christopher M. Poskitt1 and Detlef Plump2 1 2 Add to Reading List Document Date: 2014-06-17 07:18:55 Open Document File Size: 250,56 KB Share Result on Facebook Company Vertex / / Facility The University of York / / IndustryTerm software engineering / / Organization Switzerland Department of Computer Science / Department of Computer Science / University of York / / Product Edge / / ProgrammingLanguage R / L / C / / SocialTag Tree decomposition Path decomposition Graph Function Orbifold Median graph Graph theory Mathematics Theoretical computer science

Verifying Monadic Second-Order Properties of Graph Programs Christopher M. Poskitt1 and Detlef Plump2 1 2Add to Reading List