478 search results - page 9 / 96 » Structural Properties of Twin-Free Graphs |
123
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
132
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...
169
click to vote
AUSAI
2009
Springer
15 years 11 months ago
2009
Springer
In the era of information explosion, structured data emerge on a large scale. As a description of structured data, network has drawn attention of researchers in many subjects. Netw...
109
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
120
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...