A Contraction Method to Decide MSO Theories of Deterministic Trees

A Contraction Method to Decide MSO Theories of Deterministic Trees

Bibliographic Details
Main Authors:	Montanari, A, Puppis, G
Format:	Journal article
Published:	2007

Similar Items

Decidability of MSO Theories of Tree Structures
by: Montanari, A, et al.
Published: (2004)

A Hierarchy of Automatic Words having a Decidable MSO Theory
by: Barany, V
Published: (2006)

A hierarchy of automatic omega−words having a decidable MSO theory
by: Barany, V
Published: (2008)

Decidability of the Theory of the Totally Unbounded omega−Layered Structure
by: Montanari, A, et al.
Published: (2004)

Determinacy and rewriting of functional top–down and MSO tree transformations
by: Benedikt, M, et al.
Published: (2016)

A Decidable Spatial Logic with Cone−shaped Cardinal Directions
by: Montanari, A, et al.
Published: (2009)

Maximal Decidable Fragments of Halpern and Shoham's Modal Logic of Intervals
by: Montanari, A, et al.
Published: (2010)

Decidability of the Interval Temporal Logic ABB Over the Natural Numbers
by: Montanari, A, et al.
Published: (2010)

A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
by: Pradic, P, et al.
Published: (2019)

A Contraction Theory-Based Analysis of the Stability of the Deterministic Extended Kalman Filter
by: Bonnabel, Silvere, et al.
Published: (2015)

On the Relationships Between Theories of Time Granularity and the Monadic Second−order Theory of One Successor
by: Montanari, A, et al.
Published: (2006)

Deciding the weak definability of Büchi definable tree languages
by: Colcombet, T, et al.
Published: (2013)

A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity
by: Bresolin, D, et al.
Published: (2009)

ConTaCT: Deciding to Communicate during Time-Critical Collaborative Tasks in Unknown, Deterministic Domains
by: Unhelkar, Vaibhav Vasant, et al.
Published: (2016)

On the decidability of finite extensions of decidable fields
by: Thanagopal, K
Published: (2018)

Bounded reparability for regular tree languages
by: Puppis, G, et al.
Published: (2012)

Thinking and deciding /
by: 221448 Baron, Jonathan
Published: (1988)

Queue occupancy in single-server deterministic service time tree networks
by: Neely, Michael J. (Michael James), 1975-
Published: (2005)

Deciding how to decide: Using the Digital Preservation Storage Criteria
by: Schaefer, Sibyl K, et al.
Published: (2021)

Decidable prime models
by: Young, Jessica Millar, 1973-
Published: (2005)

SHOULD THE DOCTOR DECIDE
by: Mant, D
Published: (1989)

Decidability in extensions of Fp((t))
by: Rigler, B
Published: (2021)

Deterministic Chance
by: Eagle, A
Published: (2011)

Compact and Tractable Automaton−based Representations for Time Granularities
by: Lago, U, et al.
Published: (2007)

Time Granularities and Ultimately Periodic Automata
by: Bresolin, D, et al.
Published: (2004)

Deterministic Image Enhancement Based on Fuzzy Method
by: Libao Yang, et al.
Published: (2022)

Realization theory for deterministic boundary-valve descriptor systems
Published: (2003)

Deterministic Approach For Design Flood Estimation:Theory And Practice
by: Perpustakaan UGM, i-lib
Published: (1996)

After SPM: deciding the future
by: Sani, Rozana
Published: (2017)

What is Decidable about Strings?
by: Ganesh, Vijay, et al.
Published: (2011)

Macro-engineering : how to decide?
by: Jones, William J.
Published: (2006)

Decidability questions for Petri Nets.
by: Hack, Michel Henri Théodore
Published: (2005)

The Millennial Generation : Deciding Bloc?
by: Syafiq Hasyim
Published: (2018)

On the decidability of Metric Temporal Logic
by: Ouaknine, J, et al.
Published: (2005)

Decidability Questions for Petri Nets
by: Hack, Michel Henri Théodore
Published: (2023)

Decidability in local and global fields
by: Koenigsmann, J
Published: (2019)

DECIDABLE PROPERTIES OF POLYCYCLIC GROUPS
by: Segal, D
Published: (1990)

How to decide business policy
by: 3999 Intermediate Technology Development Group
Published: (1969)

The pseudo-Skolem Problem is decidable
by: D'Costa, J, et al.
Published: (2021)

Surrogate uncertainty: who decides?
by: Wilkinson, D
Published: (2021)