You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (20)

Journals (0)

1-10 of 20 results for monadic second-order logic

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Retricted access

Research article

First published 2010-6

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees

Vince Bárány, Łukasz Kaiser, Alex Rabinovich

Fundamenta Informaticae

Select article: The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Retricted access

Research article

First published 2009-5

The Monadic Second-order Logic Evaluation Problem on Finite Colored Trees: a Database-theoretic Approach

Eugénie Foustoucos, Labrini Kalantzi

Fundamenta Informaticae

Select article: On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees,with Applications to the mu-Calculus

Retricted access

Research article

First published 2004-7

On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees,with Applications to the mu-Calculus

David Janin, Giacomo Lenzi

Fundamenta Informaticae

Select article: Monadic Second Order Definability as a Common Characterization of Finite Automata,Certain Classes of Programs and Logics

Retricted access

Research article

First published 1985

Monadic Second Order Definability as a Common Characterization of Finite Automata,Certain Classes of Programs and Logics

Anita Wasilewska

Fundamenta Informaticae

Select article: Matrix Graph Grammars with Application Conditions

Retricted access

Research article

First published 2010-3

Matrix Graph Grammars with Application Conditions

Pedro Pablo Pérez Velasco, Juan de Lara

Fundamenta Informaticae

Select article: Defining long words succinctly in FO and MSO

Open access

Research article

First published 2024-11-28

Defining long words succinctly in FO and MSO

Lauri Hella, Miikka Vilander

Computability

Select article: Order-theoretic Trees: Monadic Second-order Descriptions and Regularity

Retricted access

Research article

First published 2022

Order-theoretic Trees: Monadic Second-order Descriptions and Regularity

Bruno Courcelle

Fundamenta Informaticae

Select article: Thue Specifications and Their Monadic Second-order Properties

Retricted access

Research article

First published 1999-8

Thue Specifications and Their Monadic Second-order Properties

Teodor Knapik, Hugues Calbrix

Fundamenta Informaticae

Select article: Composition Theorem for Generalized Sum

Retricted access

Research article

First published 2007-9

Composition Theorem for Generalized Sum

Alexander Rabinovich

Fundamenta Informaticae

Select article: On the Borel Complexity of MSO Definable Sets of Branches

Retricted access

Research article

First published 2010-3

On the Borel Complexity of MSO Definable Sets of Branches

Mikołaj Bojańczyk, Damian Niwiński, Alexander Rabinovich [...]

Fundamenta Informaticae

1
2
10 / page

Article type

Publication date

Subjects

Access