✦ 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
DOI: 10.1016/s1571-0661(05)80182-3

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

Expressiveness and complexity of graph logic

✍ Anuj Dawar; Philippa Gardner; Giorgio Ghelli 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 580 KB

Graph folding and programmable logic arr

Graph folding and programmable logic array

✍ T. C. Hu; Y. S. Kuo 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 735 KB

Circle graphs and monadic second-order l

Circle graphs and monadic second-order logic

✍ 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