×

zbMATH — the first resource for mathematics

Found 143 Documents (Results 1–100)

100
MathJax
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 12, 17 p. (2018).
MSC:  68Q42 03B40 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 7, 16 p. (2018).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 19, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 11, 17 p. (2016).
MSC:  68Q42 03C05 68N30
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, 48-71 (2015).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI
Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 80-96 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 327-342 (2013).
MSC:  68Q42 03D35
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 185, No. 3, 389-416 (2012); translation from Fundam. Prikl. Mat. 17, No. 1, 65-106 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 14-29 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 6th international conference, LATA 2012, A Coruña, Spain, March 5–9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28331-4/pbk). Lecture Notes in Computer Science 7183, 70-82 (2012).
MSC:  68Q42 94A60
PDF BibTeX XML Cite
Full Text: DOI
Roşu, Grigore (ed.), Proceedings of the 7th international workshop on rewriting logic and its applications (WRLA 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 238, No. 3, 103-119 (2009).
MSC:  68Q42 68Q85 94A60
PDF BibTeX XML Cite
Full Text: DOI
Nipkow, Tobias (ed.), Rewriting techniques and applications. 9th international conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1379, 91-105 (1998).
PDF BibTeX XML Cite
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 246-260 (1996).
MSC:  68T15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Bruynooghe, Maurice (ed.) et al., Programming language implementation and logic programming. 5th international symposium, PLILP ’93, Tallinn, Estonia, August 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 714, 391-409 (1993).
MSC:  68N17 68Q42
PDF BibTeX XML Cite
Maluszyński, Jan (ed.) et al., Programming language implementation and logic programming. 3rd international symposium, PLILP ’91, Passau, Germany, August 26-28, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 528, 383-393 (1991).
MSC:  68N17 68Q55
PDF BibTeX XML Cite

Filter Results by …

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