×

zbMATH — the first resource for mathematics

Found 59 Documents (Results 1–59)

100
MathJax
Cornejo, María Eugenia (ed.) et al., Trends in mathematics and computational intelligence. Selected papers based on the presentations at the 9th European symposium on computational intelligence and mathematics, ESCIM 2017, Faro, Portugal, October 4–7, 2017. Cham: Springer. Stud. Comput. Intell. 796, 43-51 (2019).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 72-96 (2015).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI
Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 27-38 (2009).
MSC:  68Q42 68N30
PDF BibTeX XML Cite
Full Text: DOI
Hanus, Michael (ed.), Logic-based program synthesis and transformation. 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17–18, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00514-5/pbk). Lecture Notes in Computer Science 5438, 24-39 (2009).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 19-34 (2008).
MSC:  68N17 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Lucio, Paqui (ed.) et al., Proceedings of the sixth Spanish conference on programming and languages (PROLE 2006), Sitges, Barcelona, Spain, October 4–6, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 188, 77-90 (2007).
MSC:  68N17 68N19
PDF BibTeX XML Cite
Full Text: DOI
Eklund, Patrick (ed.) et al., UNCL’2002. Unification in non-classical logics. Papers from the ICALP satellite workshop, Málaga, Spain, July 12, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 66, No. 5, 22-40 (2002).
MSC:  68W30 16D40 68N17
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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