×

zbMATH — the first resource for mathematics

Found 63 Documents (Results 1–63)

100
MathJax
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 14th annual conference, TAMC 2017, Bern, Switzerland, April 20–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10185, 455-469 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Vizzotto, Juliana K. (ed.), Proceedings of the 3rd workshop-school on theoretical computer science, Porto Alegre, Brazil, October 14–16, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 324, 67-77 (2016).
MSC:  68N15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 369-385, electronic only (2015).
MSC:  68Q55 81P68
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 289-307, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 233-255 (2013).
MSC:  68Q10 18C20 81P68
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 264-276 (2013).
MSC:  81P45 68Q60 81P94
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 178-194 (2013).
MSC:  81P68 18F20
PDF BibTeX XML Cite
Full Text: DOI arXiv
Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 263-272 (2011).
MSC:  68Q70 18D10 68Q05 81P68
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 251-261 (2011).
MSC:  68Q05 03B40 81P68
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 121-139 (2011).
MSC:  81P68 18C50 18D05 18D10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 165-174 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Proceedings of the 5th international workshop on quantum physics and logic and the 4th workshop on developments in computational models (QPL/DCM 2008), Reykjavik, Iceland, July 12–13, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 1, 121-128 (2011).
MSC:  68Q05 03B40 68Q55 81P68
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Formal methods for quantitative aspects of programming languages. 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21–26, 2010. Advanced lectures. Berlin: Springer (ISBN 978-3-642-13677-1/pbk). Lecture Notes in Computer Science 6154, 43-86 (2010).
MSC:  68Q05 81P68 81P94
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 153-170 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 123-137 (2008).
MSC:  68N18 68N15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 85-105 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 75-83 (2008).
MSC:  81P68 68N15 68Q05 68Q55 81P10
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 65-74 (2008).
MSC:  68Q05 81P68
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 4th international workshop on quantum programming languages (QPL 2006), Oxford, UK, 17–19 July 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 210, 33-48 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Danos, Vincent (ed.) et al., Proceedings of the third international workshop on developments in computational models (DCM 2007), Wrocław, Poland, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 3, 71-83 (2008).
MSC:  68Q55 81P70
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 46, No. 6, 908-961 (2007); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2007, No. 6, 71-126 (2007).
MSC:  93C42 81Q93 93C10
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 165-184 (2007).
MSC:  68N15 68Q55 81P68
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 139-163 (2007).
MSC:  18D15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 125-138 (2007).
MSC:  68P05 68N15 81P68
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 101-124 (2007).
MSC:  68Q05 81P68 68N20
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 49-72 (2007).
MSC:  18D10 03G12 46C05 81P10 81P68
PDF BibTeX XML Cite
Full Text: DOI arXiv
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 23-47 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software