×

zbMATH — the first resource for mathematics

Found 11 Documents (Results 1–11)

100
MathJax
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 97-112 (2013).
MSC:  68Q85 68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 109-124 (2007).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, R. (ed.) et al., Proceedings of the 3rd workshop on structural operational semantics (SOS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 1, 45-56 (2007).
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: DOI
van Leeuwen, Jan (ed.) et al., Theoretical computer science. Exploring new frontiers of theoretical informatics. International conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1872, 440-456 (2000).
MSC:  68Q85
PDF BibTeX XML Cite