×

zbMATH — the first resource for mathematics

Found 20 Documents (Results 1–20)

100
MathJax
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 111-126 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 375-425 (2015).
MSC:  03G30 03B53 18B25
PDF BibTeX XML Cite
Full Text: DOI
Beziau, Jean-Yves (ed.) et al., New directions in paraconsistent logic. Collected papers of the 5th world congress on paraconsistency, WCP, Kolkata, India, February 13–17, 2014. New Delhi: Springer. Springer Proc. Math. Stat. 152, 39-55 (2015).
MSC:  03B53 03A05
PDF BibTeX XML Cite
Full Text: DOI