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

Logical Methods in Computer Science- Germany

doi 10.2168/lmcs-6(1:4)2010

Full Text

Abstract

Available in

Date

Authors

Publisher

Logical Methods in Computer Science e.V.

Related search

Ordering Constraints Over Feature Trees Expressed in Second-Order Monadic Logic

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2000English

Two Algorithms for Generating Weighted Spanning Trees in Order

SIAM Journal on Computing
MathematicsComputer Science
1977English

Solving Signal Control Problems With Second-Order Sensitivity Information of Equilibrium Network Flows

Journal of Applied Mathematics
Applied Mathematics
2014English

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

Cut-Eliminability in Second Order Logic Calculus

Annals of the Japan Association for Philosophy of Science
2018English

Cavity-Enhanced Second-Order Nonlinear Photonic Logic Circuits

Physical Review Applied
AstronomyPhysics
2016English

Abduction in Logic Programming as Second-Order Quantifier Elimination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Structure Preserving Transformations and Isospectral Flows for Second Order Systems

2003English

A Simple Second Order Cartesian Scheme for Compressible Flows

Springer Proceedings in Mathematics
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy