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 full text

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

The Undecidability of Second Order Linear Logic Without Exponentials

Journal of Symbolic Logic
PhilosophyLogic
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy