๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Logic and Graphs

โœ Scribed by Bruno Courcelle


Book ID
104445320
Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
79 KB
Volume
2
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Logic for Nested Graphs
โœ Anne Preller; Marie Laure Mugnier; Michel Chein ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 232 KB
Expressiveness and complexity of graph l
โœ Anuj Dawar; Philippa Gardner; Giorgio Ghelli ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 580 KB
Circle graphs and monadic second-order l
โœ Bruno Courcelle ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 357 KB

This article is part of a project consisting in expressing, whenever possible, graph properties and graph transformations in monadic second-order logic or in its extensions using modulo p cardinality set predicates or auxiliary linear orders. A circle graph is the intersection graph of a set of chor

A substructural logic for layered graphs
โœ Collinson, Matthew (author);McDonald, Kevin (author);Pym, David (author) ๐Ÿ“‚ Article ๐Ÿ“… 2014 ๐Ÿ› Oxford University Press ๐ŸŒ English โš– 864 KB
A substructural logic for layered graphs
โœ Collinson, Matthew (author);McDonald, Kevin (author);Pym, David (author) ๐Ÿ“‚ Article ๐Ÿ“… 2014 ๐Ÿ› Oxford University Press ๐ŸŒ English โš– 864 KB