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

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

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

English

On Monadic Parametricity of Second-Order Functionals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

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

Rewriting Queries Using Views Over Monadic Database Schemas

Information Processing Letters
Signal ProcessingComputer Science ApplicationsInformation SystemsTheoretical Computer Science
2001English

Probabilistic Termination by Monadic Affine Sized Typing

ACM Transactions on Programming Languages and Systems
Software
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy