×

zbMATH — the first resource for mathematics

Found 42 Documents (Results 1–42)

100
MathJax
Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-40369-4/pbk; 978-3-319-40370-0/ebook). Lecture Notes in Computer Science 9608, 5-10 (2016).
Reviewer: Reviewer (Berlin)
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 98-113 (2012).
Reviewer: Reviewer (Berlin)
MSC:  68T15 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Berghofer, Stefan (ed.) et al., Theorem proving in higher order logics. 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03358-2/pbk). Lecture Notes in Computer Science 5674, 343-358 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68T15 03B70
PDF BibTeX XML Cite
Full Text: DOI
Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 279-293 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68N15 03B40
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 32-48 (2009).
Reviewer: Reviewer (Berlin)
MSC:  68N18 03B15 68T15
PDF BibTeX XML Cite
Full Text: DOI
Treinen, Ralf (ed.), Rewriting techniques and applications. 20th international conference, RTA 2009, Brasília, Brazil, June 29–July 1, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02347-7/pbk). Lecture Notes in Computer Science 5595, 224-238 (2009).
Reviewer: Reviewer (Berlin)
MSC:  03F05 03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI
Boiten, Eerke (ed.) et al., Proceedings of the 13th BCS-FACS refinement workshop (REFINE 2008), Turku, Finland, May 27, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 214, 231-254 (2008).
Reviewer: Reviewer (Berlin)
MSC:  68Q85 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 25-47 (2008).
Reviewer: Reviewer (Berlin)
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Dahn, Ingo (ed.) et al., Proceedings of the workshop on mathematics, logic and computation (satellite event of ICALP 2003), Valencia, Spain, June 12–14, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 85, No. 7, 106-124 (2003).
Reviewer: Reviewer (Berlin)
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Lenisa, Mariana (ed.) et al., TOSCA 2001. Proceedings of the workshop on theory of concurrency, higher order languages and types, Udine, Italy, November 19–21, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 62, 116-135 (2002).
Reviewer: Reviewer (Berlin)
MSC:  68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
van den Brand, Mark (ed.) et al., RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 59, No. 4, 320-340 (2001).
Reviewer: Reviewer (Berlin)
MSC:  68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Ambler, S. J. (ed.) et al., MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 1, 37-58 (2001).
Reviewer: Reviewer (Berlin)
MSC:  68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1158, 135-152 (1996).
Reviewer: Reviewer (Berlin)
MSC:  68T15 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International workshop TYPES ’95, Torino, Italy, June 5–8, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1158, 85-104 (1996).
Reviewer: Reviewer (Berlin)
MSC:  68T15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 37-56 (1996).
Reviewer: Reviewer (Berlin)
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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