Dynamic Chromatic Number of Bipartite Graphs.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 249, doi. 10.7561/SACS.2016.2.249
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2016 AND VI 26 AND IP 2
Results: 4
1
2
On Activation, Connection, and Behavior in Dynamic Architectures.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 187, doi. 10.7561/SACS.2016.2.187
- By:
- Publication type:
- Article
3
RDA: A Coq Library to Reason about Randomised Distributed Algorithms in the Message Passing Model.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 157, doi. 10.7561/SACS.2016.2.157
- By:
- Publication type:
- Article
4
A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences.
- Published in:
- Scientific Annals of Computer Science, 2016, v. 26, n. 2, p. 125, doi. 10.7561/SACS.2016.2.125
- By:
- Publication type:
- Article