David Quick

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

Collaborative distances:

Timeline

2014

2015

Book

In proceedings

Article

PhD thesis

Dataset

Other

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

2014

Tensors, !-graphs, and non-commutative quantum structures.

[BibT_eX]

[DOI]

Proceedings of the 11th workshop on Quantum Physics and Logic, 2014