Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
Dragoš M. Cvetković, Irena Pevac (1983)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “Synchronous parallelizations of serial computer programs”
Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
The k-point-arboricity of a graph
Don R. Lick (1976)
Colloquium Mathematicae
Similarity:
The determinant concept defined by means of graph theory
D. M. Cvetković (1975)
Matematički Vesnik
Similarity:
Some applications of graph theory in the theory of hypergraphs
J. Nieminen (1975)
Applicationes Mathematicae
Similarity:
Control a state-dependent dynamic graph to a pre-specified structure
Fei Chen, Zengqiang Chen, Zhongxin Liu, Zhuzhi Yuan (2009)
Kybernetika
Similarity:
Recent years have witnessed an increasing interest in coordinated control of distributed dynamic systems. In order to steer a distributed dynamic system to a desired state, it often becomes necessary to have a prior control over the graph which represents the coupling among interacting agents. In this paper, a simple but compelling model of distributed dynamical systems operating over a dynamic graph is considered. The structure of the graph is assumed to be relied on the underling system's...