On the Parameterised Intractability of Monadic Second−Order Logic

On the Parameterised Intractability of Monadic Second−Order Logic

Bibliographic Details
Main Author:	Kreutzer, S
Format:	Conference item
Published:	2009

Similar Items

On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic
by: Kreutzer, S, et al.
Published: (2010)

On the decidability of monadic second-order logic with arithmetic predicates
by: Berthé, V, et al.
Published: (2024)

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees
by: Barany, V, et al.
Published: (2010)

Formal models of communicating systems : languages, automata, and monadic second-order logic /
by: 428469 Bollig, Benedikt
Published: (2006)

The monadic second order theory of all countable ordinals /
by: 359235 Buchi, J. Richard, et al.
Published: (1984)

Weak Monadic Second Order Theory of Successor is not Element-recurive
by: Meyer, Albert R.
Published: (2023)

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

Pure Second-Order Logic with Second-Order Identity.
by: Paseau, A
Published: (2010)

Weak Cost Monadic Logic over Infinite Trees
by: Boom, M
Published: (2011)

Parameterised linearizability
by: Yang, H, et al.
Published: (2014)

On Spatial Conjunction as Second-Order Logic
by: Kuncak, Viktor, et al.
Published: (2005)

Characterizing Second Order Logic with First Order Quantifiers
by: Harel, David
Published: (2023)

Urban intensity parameterisation
by: Noor Azzy Zulkifli
Published: (2021)

Neuromodulation for Intractable Pain
by: Green, AL, et al.
Published: (2020)

Of Tactics and Monads
by: Martin, A
Published: (1996)

Monads for behaviour
by: Piróg, M, et al.
Published: (2013)

Monads for behaviour
by: Piróg, M, et al.
Published: (2013)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
by: Kreutzer, S
Published: (2001)

Second Order Logic and the Weak Exponential Hierarchies
by: Gottlob, G, et al.
Published: (1995)

Existential second−order logic over strings
by: Eiter, T, et al.
Published: (2000)

Existential Second−Order Logic over Strings
by: Eiter, T, et al.
Published: (1998)

Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
by: Kammar, O, et al.
Published: (2018)

Symbolic techniques for parameterised verification
by: Hong, CD
Published: (2022)

Stimulating solutions for intractable epilepsy
by: Denison, T, et al.
Published: (2021)

Deriving monad transformers
by: Hinze, R
Published: (1999)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

The coinductive resumption monad
by: Piróg, M, et al.
Published: (2014)

Monadic Datalog Containment
by: Benedikt, M, et al.
Published: (2012)

Entangled State Monads
by: Cheney, J, et al.
Published: (2014)

The coinductive resumption monad
by: Piróg, M, et al.
Published: (2014)

Reflections on monadic lenses
by: Abou-Saleh, F, et al.
Published: (2016)

On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic
by: Eiter, T, et al.
Published: (1998)

Parameterising the eddy transfer of water masses
by: Lee, M, et al.
Published: (1997)

Growth failure in children with intractable epilepsy.
by: Sullivan, P
Published: (2008)

The frontier of intractability for EFX with two agents
by: Goldberg, PW, et al.
Published: (2023)

A Decidability Result for a Second Order Process Logic
by: Parikh, Rohit
Published: (2023)

The Different Aspects of Monads and Mixins
by: dos Santos Oliveira, B
Published: (2009)

Efficient Monadic−style Backtracking
by: Hinze, R
Published: (1996)

A Monadic Interpretation of Tactics
by: Martin, A, et al.
Published: (2015)

Equivalence Problems for Monadic Schemas
by: Qualitz, Joseph E.
Published: (2023)