Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-12(2:8)2016
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Complexity Results for First-Order Two-Variable Logic With Counting

SIAM Journal on Computing
MathematicsComputer Science
2000English

Linear Circuits, Two-Variable Logic and Weakly Blocked Monoids

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Solution of Two Order Variable Coefficient Linear Differential Equation Into Standard Form

Advances in Applied Mathematics
2016English

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity

Journal of Symbolic Logic
PhilosophyLogic
2010English

On Fixed-Point Logic With Counting

Journal of Symbolic Logic
PhilosophyLogic
2000English

Analytical Modeling of an 15N Isotope Separation Column by Second-Order Quasi-Linear Equations With Two Independent Variable

International Journal of Modeling and Optimization
2017English

Two-Variable Logic on Data Trees and XML Reasoning

2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy