Guarded Second-Order Logic, Spanning Trees, and Network Flows

DOI10.2168/LMCS-6(1:4)2010zbMath1189.03016MaRDI QIDQ5190324

Achim Blumensath

Publication date: 15 March 2010

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

monadic second-order logichypergraphsguarded second-order logic

Mathematics Subject Classification ID

Hypergraphs (05C65) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Guarded Second-Order Logic, Spanning Trees, and Network Flows