Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Achim Blumensath
Guarded Second-Order Logic, Spanning Trees, and Network Flows
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Ordering Constraints Over Feature Trees Expressed in Second-Order Monadic Logic
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Two Algorithms for Generating Weighted Spanning Trees in Order
SIAM Journal on Computing
Mathematics
Computer Science
Solving Signal Control Problems With Second-Order Sensitivity Information of Equilibrium Network Flows
Journal of Applied Mathematics
Applied Mathematics
Linear Delay Enumeration and Monadic Second-Order Logic
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Cut-Eliminability in Second Order Logic Calculus
Annals of the Japan Association for Philosophy of Science
Cavity-Enhanced Second-Order Nonlinear Photonic Logic Circuits
Physical Review Applied
Astronomy
Physics
Abduction in Logic Programming as Second-Order Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Structure Preserving Transformations and Isospectral Flows for Second Order Systems
The Undecidability of Second Order Linear Logic Without Exponentials
Journal of Symbolic Logic
Philosophy
Logic
