Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Hadzihasanovic, Amar
22  Ergebnisse:
Personensuche X
?
1

Higher-Dimensional Subdiagram Matching:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Hadzihasanovic, Amar ; Kessler, Diana - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
2

The smash product of monoidal theories:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Hadzihasanovic, Amar - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

The Smash Product of Monoidal Theories:

, In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Hadzihasanovic, Amar - p. 1-13 , 2021
Link: https://doi.org/10.1109/..
 
?
4

A Combinatorial-Topological Shape Category for Polygraphs:

Hadzihasanovic, Amar
Applied Categorical Structures.  28 (2019)  3 - p. 419-476 , 2019
Link: https://doi.org/10.1007/..
 
?
5

Two complete axiomatisations of pure-state qubit quantum co..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,
Hadzihasanovic, Amar ; Ng, Kang Feng ; Wang, Quanlong - p. 502-511 , 2018
Link: https://dl.acm.org/doi/1..
 
?
6

A Diagrammatic Axiomatisation for Qubit Entanglement:

, In: Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Hadzihasanovic, Amar - p. 573-584 , 2015
Link: https://dl.acm.org/doi/1..
 
?
7

Obstructions to Compositionality:

Puca, Caterina ; Hadzihasanovic, Amar ; Genovese, Fabrizio.
http://arxiv.org/abs/2307.14461.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Higher-dimensional subdiagram matching:

Hadzihasanovic, Amar ; Kessler, Diana
http://arxiv.org/abs/2304.09216.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

Data Structures for Topologically Sound Higher-Dimensional ..:

Hadzihasanovic, Amar ; Kessler, Diana
http://arxiv.org/abs/2209.09509.  , 2022
Link: http://arxiv.org/abs/220..
 
?
10

The smash product of monoidal theories:

Hadzihasanovic, Amar
http://arxiv.org/abs/2101.10361.  , 2021
Link: http://arxiv.org/abs/210..
 
?
11

Diagrammatic sets and rewriting in weak higher categories:

Hadzihasanovic, Amar
http://arxiv.org/abs/2007.14505.  , 2020
Link: http://arxiv.org/abs/200..
 
?
12

Representable diagrammatic sets as a model of weak higher c..:

Hadzihasanovic, Amar
http://arxiv.org/abs/1909.07639.  , 2019
Link: http://arxiv.org/abs/190..
 
?
13

Weak units, universal cells, and coherence via universality..:

Hadzihasanovic, Amar
http://arxiv.org/abs/1803.06086.  , 2018
Link: http://arxiv.org/abs/180..
 
?
14

A combinatorial-topological shape category for polygraphs:

Hadzihasanovic, Amar
http://arxiv.org/abs/1806.10353.  , 2018
Link: http://arxiv.org/abs/180..
 
?
15

A Diagrammatic Axiomatisation of Fermionic Quantum Circuits:

Hadzihasanovic, Amar ; de Felice, Giovanni ; Ng, Kang Feng
doi:10.4230/LIPIcs.FSCD.2018.17.  , 2018
Link: https://doi.org/10.4230/..
 
1-15