Results 1  10
of
509,313
The monadic secondorder logic of graphs I. Recognizable sets of Finite Graphs
 Information and Computation
, 1990
"... The notion of a recognizable sef offinite graphs is introduced. Every set of finite graphs, that is definable in monadic secondorder logic is recognizable, but not vice versa. The monadic secondorder theory of a contextfree set of graphs is decidable. 0 19W Academic Press. Inc. This paper begins ..."
Abstract

Cited by 298 (17 self)
 Add to MetaCart
The notion of a recognizable sef offinite graphs is introduced. Every set of finite graphs, that is definable in monadic secondorder logic is recognizable, but not vice versa. The monadic secondorder theory of a contextfree set of graphs is decidable. 0 19W Academic Press. Inc. This paper begins
The Expression Of Graph Properties And Graph Transformations In Monadic SecondOrder Logic
, 1997
"... By considering graphs as logical structures, one... ..."
Abstract

Cited by 160 (40 self)
 Add to MetaCart
By considering graphs as logical structures, one...
Circle graphs and Monadic Secondorder logic
, 2005
"... A circle graph is the intersection graph of a set of chords of a circle. If a circle graph is prime for the split (or join) decomposition defined by Cunnigham, it has a unique representation as a set of intersecting chords, and we prove that this representation can be defined by monadic secondorder ..."
Abstract

Cited by 10 (4 self)
 Add to MetaCart
A circle graph is the intersection graph of a set of chords of a circle. If a circle graph is prime for the split (or join) decomposition defined by Cunnigham, it has a unique representation as a set of intersecting chords, and we prove that this representation can be defined by monadic secondorder
MONADIC SECONDORDER DEFINABLE GRAPH ORDERINGS
 VOL. 10(1:2)2014, PP. 1–36 WWW.LMCSONLINE.ORG
, 2014
"... ..."
Monadic second–order evaluations on treedecomposable graphs
 Theoret. Comput. Sci
, 1993
"... Courcelle, B. and M. Mosbah, Monadic secondorder evaluations on treedecomposable graphs, ..."
Abstract

Cited by 90 (25 self)
 Add to MetaCart
Courcelle, B. and M. Mosbah, Monadic secondorder evaluations on treedecomposable graphs,
PrefixRecognisable Graphs and Monadic SecondOrder Logic
, 2001
"... We present several characterisations of the class of prefixrecognisable ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
We present several characterisations of the class of prefixrecognisable
MONA: Monadic SecondOrder Logic in Practice
 IN PRACTICE, IN TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, FIRST INTERNATIONAL WORKSHOP, TACAS '95, LNCS 1019
, 1995
"... The purpose of this article is to introduce Monadic Secondorder Logic as a practical means of specifying regularity. The logic is a highly succinct alternative to the use of regular expressions. We have built a tool MONA, which acts as a decision procedure and as a translator to finitestate au ..."
Abstract

Cited by 148 (20 self)
 Add to MetaCart
The purpose of this article is to introduce Monadic Secondorder Logic as a practical means of specifying regularity. The logic is a highly succinct alternative to the use of regular expressions. We have built a tool MONA, which acts as a decision procedure and as a translator to finite
Monadic secondorder definable graph transductions: A survey
 TCS
, 1994
"... Courcelle, B., Monadic secondorder definable graph transductions: a survey, Theoretical Computer Science 126 (1994) 5375. Formulas of monadic secondorder logic can be used to specify graph transductions, i.e., multivalued functions from graphs to graphs. We obtain in this way classes of graph tr ..."
Abstract

Cited by 60 (8 self)
 Add to MetaCart
Courcelle, B., Monadic secondorder definable graph transductions: a survey, Theoretical Computer Science 126 (1994) 5375. Formulas of monadic secondorder logic can be used to specify graph transductions, i.e., multivalued functions from graphs to graphs. We obtain in this way classes of graph
Computational LambdaCalculus and Monads
, 1988
"... The calculus is considered an useful mathematical tool in the study of programming languages, since programs can be identified with terms. However, if one goes further and uses fijconversion to prove equivalence of programs, then a gross simplification 1 is introduced, that may jeopardise the ..."
Abstract

Cited by 505 (7 self)
 Add to MetaCart
is about logics for reasoning about programs, in particular for proving equivalence of programs. Following a consolidated tradition in theoretical computer science we identify programs with the closed terms, possibly containing extra constants, corresponding to some features of the programming language
Results 1  10
of
509,313