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 the Parameterized Intractability of Monadic Second-Order Logic
by: Stephan Kreutzer
Published: (2012-03-01)

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

Monadic Second Order Logic with Measure and Category Quantifiers
by: Matteo Mio, et al.
Published: (2018-04-01)

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)

Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
by: Amélie Gheerbrant, et al.
Published: (2012-10-01)

The monadic second-order logic of graphs XVI : Canonical graph decompositions
by: Bruno Courcelle
Published: (2006-03-01)

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law
by: Jason P. Bell, et al.
Published: (2012-05-01)

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

Monadic second-order definable graph orderings
by: Achim Blumensath, et al.
Published: (2014-01-01)

On the Monadic Second-Order Transduction Hierarchy
by: Achim Blumensath, et al.
Published: (2010-06-01)

On Second-Order Monadic Monoidal and Groupoidal Quantifiers
by: Juha Kontinen, et al.
Published: (2010-09-01)

On the decidability of monadic first order logic in sequent calculus
by: Jean-Baptiste Joinet
Published: (2016-12-01)

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

A Functional (Monadic) Second-Order Theory of Infinite Trees
by: Anupam Das, et al.
Published: (2020-10-01)

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)

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

Decidability of a monadic subclass of modal logic S4
by: Stanislovas Norgėla
Published: (2002-12-01)

Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
by: Cristina Feier, et al.
Published: (2019-05-01)

Corecursive Algebras, Corecursive Monads and Bloom Monads
by: Jiří Adámek, et al.
Published: (2014-09-01)

Weak bisimulation for coalgebras over order enriched monads
by: Tomasz Brengos
Published: (2015-06-01)

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

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)

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

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

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

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

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

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

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)

Monads need not be endofunctors
by: Thosten Altenkirch, et al.
Published: (2015-03-01)

Monad Metrizable Space
by: Orhan Göçür
Published: (2020-10-01)

On Discrete Presheaf Monads
by: Gao Zhang, et al.
Published: (2023-06-01)

On saturated prefilter monads
by: Gao Zhang, et al.
Published: (2023-02-01)

Monadic Effect Algebras
by: Yuxi Zou, et al.
Published: (2022-01-01)