search result

Cover von Selected papers of the international workshop on computing by graph transformation, Bordeaux, France, March 21-23, 1991
Search for this author
Year: 1993
Publisher: Amsterdam, Elsevier
Series: Theoretical computer science : 109. 1993, 1/2
Media group: SPECIAL ISSUE
Cover von Ninth colloquium on trees in algebra and programming
5 - 7, March, 1984, Bordeaux, France
Search for this author
Year: 1984
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
Cover von Logique et informatique
une introduction
Search for this author
Year: 1991
Publisher: Rocquencourt, INRIA
Series: Collection didactique; 8
Media group: MONOGRAPHIE
Cover von Special tree-width and the verification of monadic second-order graph pr operties

Special tree-width and the verification of monadic second-order graph pr operties

Year: 2010
Media group: ARTICLE
Cover von Graph Structure and Monadic Second-Order Logic
A Language-Theoretic Approach
Author: Courcelle, Bruno; Engelfriet, Joost Search for this author
Year: 2012
Publisher: Cambridge, Cambridge University Press
Series: Encyclopedia of mathematics and its applications; 138
Media group: MONOGRAPHIE
Cover von Graph-transformations in computer science
04.01. - 08.01.93 (9301)
Search for this author
Year: 1993
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 53
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0