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

Logic for Nested Graphs

โœ Scribed by Anne Preller; Marie Laure Mugnier; Michel Chein


Book ID
108507799
Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
232 KB
Volume
14
Category
Article
ISSN
0824-7935

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Nested bipartite graphs
โœ Franz Hering ๐Ÿ“‚ Article ๐Ÿ“… 1971 ๐Ÿ› The Hebrew University Magnes Press ๐ŸŒ English โš– 548 KB
Enumerating Consecutive and Nested Parti
โœ F.K. Hwang; G.J. Chang ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 116 KB

Consecutive and nested partitions have been extensively studied in the set-partition problem as tools with which to search efficiently for an optimal partition. We extend the study of consecutive and nested partitions on a set of integers to the vertex-set of a graph. A subset of vertices is conside

Nested expressions in logic programs
โœ Vladimir Lifschitz; Lappoon R. Tang; Hudson Turner ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 125 KB
Nested hierarchies in planar graphs
โœ Won-Min Song; T. Di Matteo; Tomaso Aste ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 858 KB
Logic and Graphs
โœ Bruno Courcelle ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 79 KB