David Quick

According to our database¹, David Quick authored at least 4 papers between 2015 and 2016.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2016

Tensors, !-graphs, and Non-commutative Quantum Structures.

[BibT_eX]

[DOI]

New Gener. Comput., 2016

2015

Encoding !-tensors as !-graphs with neighbourhood orders.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

Tensors, !-graphs, and non-commutative quantum structures (extended version).

[BibT_eX]

[DOI]

CoRR, 2015

A First-order Logic for String Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015