Discussing Graph Theory with a Computer III, Man-machine Theorem Proving
Dragoš M. Cvetković, Irena Pevac (1983)
Publications de l'Institut Mathématique
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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...