×

zbMATH — the first resource for mathematics

Found 19 Documents (Results 1–19)

100
MathJax
Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 64-82 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer (ISBN 978-3-319-68102-3/hbk; 978-3-319-68103-0/ebook). Springer Proceedings in Mathematics & Statistics 219, 399-422 (2017).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8981, 182-198 (2015).
MSC:  68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Geffert, Viliam (ed.) et al., SOFSEM 2014: theory and practice of computer science. 40th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 26–29, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8327, 407-418 (2014).
MSC:  68T42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Sampaio, Augusto (ed.), Proceedings of the second Brazilian symposium on formal methods (SBMF 2005), Porto Alegre, RS, Brazil, November 30, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 184, 39-61 (2007).
MSC:  68Q42 68N30
PDF BibTeX XML Cite
Full Text: DOI
Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Second international conference, CAI 2007, Thessaloniki, Greece, May 21–25, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-75413-8/pbk). Lecture Notes in Computer Science 4728, 247-259 (2007).
MSC:  68Q65 68P25
PDF BibTeX XML Cite
Full Text: DOI
Cristea, Horatiu (ed.) et al., Proceedings of the 6th international workshop on rule-based programming (RULE 2005), Nara, Japan, April 23, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 147, No. 1, 57-72 (2006).
MSC:  68Q85 68Q60 68Q65
PDF BibTeX XML Cite
Full Text: Link
Najm, Elie (ed.) et al., Formal methods for open object-based distributed systems. 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19–21, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20491-1/pbk). Lect. Notes Comput. Sci. 2884, 170-184 (2003).
MSC:  68Q85 68Q65 94A62
PDF BibTeX XML Cite
Full Text: DOI
AMAST Series in Computing. 6. Singapore: World Scientific. 196 p. (1998).
MSC:  68Q65 68-02 68N15
PDF BibTeX XML Cite
Kirchner, Claude (ed.) et al., International workshop on Rewriting logic and its applications. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 15, electronic paper No. 7 (1998).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: Link