On Decidability of Monadic Logic of Order Over the Naturals Extended by Monadic Predicates

Information and Computation- United States

doi 10.1016/j.ic.2006.12.004

Full Text

Abstract

Available in

Date

Authors

Publisher

Elsevier BV

Related search

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

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

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results

English

On the Structure of the Monadic Logic of the Binary Tree

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

SAT in Monadic Gödel Logics: A Borderline Between Decidability and Undecidability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Comparing the Succinctness of Monadic Query Languages Over Finite Trees

RAIRO - Theoretical Informatics and Applications
MathematicsComputer Science ApplicationsSoftware
2004English

Monadic Constraint Programming

Journal of Functional Programming
Software
2009English

Monadic GMV-algebras

Archive for Mathematical Logic
PhilosophyLogic
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy