×

zbMATH — the first resource for mathematics

Found 319 Documents (Results 1–100)

100
MathJax
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 435-453 (2018).
MSC:  03F07 03D05
PDF BibTeX XML Cite
Full Text: DOI
Butler, Steve (ed.) et al., Connections in discrete mathematics. A celebration of the work of Ron Graham. Cambridge: Cambridge University Press (ISBN 978-1-316-60788-6/pbk; 978-1-107-15398-1/hbk; 978-131-665029-5/ebook). 187-199 (2018).
MSC:  05D10 06A07
PDF BibTeX XML Cite
Full Text: DOI
Martsinkovsky, Alex (ed.) et al., Recent developments in representation theory. Maurice Auslander distinguished lectures and international conference, Woods Hole Oceanographic Institute, Woods Hole, MA, USA, May 1–6, 2014. Selected papers. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1955-4/pbk; 978-1-4704-3530-1/ebook). Contemporary Mathematics 673, 51-177 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Rodríguez Velázques, Juan Alberto (ed.) et al., Extended abstracts of the IX “Jornadas de matemática discreta y algorítmica” (JMDA), Tarragona, Spain, July 7–9, 2014. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 46, 209-216, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Abdulla, Parosh Aziz (ed.) et al., Reachability problems. 7th international workshop, RP 2013, Uppsala, Sweden, September 24–26, 2013 Proceedings. Berlin: Springer (ISBN 978-3-642-41035-2/pbk). Lecture Notes in Computer Science 8169, 183-195 (2013).
MSC:  68Q85 68P05
PDF BibTeX XML Cite
Full Text: DOI
Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.). 147 p. (2012).
PDF BibTeX XML Cite
Full Text: Link

Filter Results by …

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