Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A linear category of polynomial diagramsHYVERNAT, PIERREMathematical structures in computer science, 2014-02, Vol.24 (1), p.np-np, Article e240104 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
2 |
Material Type: Artigo
|
Ticket Entailment is decidablePADOVANI, VINCENTMathematical structures in computer science, 2013-06, Vol.23 (3), p.568-607 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
3 |
Material Type: Artigo
|
A spectral order for infinite-dimensional quantum spacesMASHBURN, JOEMathematical structures in computer science, 2013-02, Vol.23 (1), p.95-130 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |
|
4 |
Material Type: Artigo
|
Generalised powerlocales via relation liftingVENEMA, YDE ; VICKERS, STEVE ; VOSMAER, JACOBMathematical structures in computer science, 2013-02, Vol.23 (1), p.142-199 [Periódico revisado por pares]Cambridge, UK: Cambridge University PressTexto completo disponível |