# zbMATH — the first resource for mathematics

## Found 13 Documents (Results 1–13)

100
MathJax
MSC:  68N18 68N15
Full Text:
Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 88-105 (2017).
MSC:  68Qxx
Full Text:
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 257-272 (2016).
MSC:  68Q42
Full Text:
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, 183-198, electronic only (2015).
MSC:  68N30 18C20
Full Text:
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, 19-35, electronic only (2015).
MSC:  68N30 68Q55
Full Text:
MSC:  68N15 68N30
Full Text:
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 197-206, electronic only (2014).
MSC:  18D15 18C10 68Q55
Full Text:
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, 51-69 (2013).
Full Text:
Wolff, Burkhart (ed.) et al., Unifying theories of programming. Fourth international symposium, UTP 2012, Paris, France, August 27–28, 2012. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7681, 23-67 (2013).
MSC:  68N18
Full Text:
MSC:  68Q55 18C50
Full Text:
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 174-185 (2011).
MSC:  68N18 03B40 68Q55
Full Text:
MSC:  68N18 68N15 18B99
Full Text:

all top 5
all top 3