×

zbMATH — the first resource for mathematics

Found 16 Documents (Results 1–16)

100
MathJax
Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 155-176 (2010).
MSC:  68Q85 68M14 68N30
PDF BibTeX XML Cite
López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 5-33 (2007).
MSC:  68Q60 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Martí-Oliet, N. (ed.), Proceedings of the fifth international workshop on rewriting logic and its applications (WRLA 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 117, 153-182 (2005).
MSC:  68Q42 68Q60 94A60
PDF BibTeX XML Cite
Full Text: Link
Etalle, Sandro (ed.), Logic based program synthesis and transformation. 14th international symposium, LOPSTR 2004, Verona, Italy, August 26–28, 2004. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26655-6/pbk). Lecture Notes in Computer Science 3573, 101-116 (2005).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 379-394 (2005).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6–10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 534-547 (2005).
MSC:  68Q60 68Q32 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 279-293 (2005).
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Gadducci, Fabio (ed.) et al., WRLA 2002. Proceedings of the 4th international workshop on rewriting logic and its applications, Pisa, Italy, September 19–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 71, 261-281 (2004).
MSC:  68Q85 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: Link
Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 521-536 (2004).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
de Frutos-Escrig, David (ed.) et al., Formal techniques for networked and distributed systems – FORTE 2004. 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27–30, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23252-4/pbk). Lecture Notes in Computer Science 3235, 359-375 (2004).
MSC:  68P25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Hélène (ed.) et al., Algebraic methodology and software technology. 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9–13, 2002. Prodeedings. Berlin: Springer (ISBN 3-540-44144-1/pbk). Lecture Notes in Computer Science 2422, 223-238 (2002).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 147-162 (2002).
MSC:  68Q85
PDF BibTeX XML Cite