×

zbMATH — the first resource for mathematics

Found 1,028 Documents (Results 1–100)

100
MathJax
Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12649, 196-217 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019).
MSC:  68Q42 18A30
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 124-136 (2019).
MSC:  68Q45 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 195-211 (2019).
MSC:  68R10 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 141-158 (2019).
MSC:  68T30 68P15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019).
MSC:  68N30 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 93-110 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 75-92 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 55-72 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 3-20 (2019).
MSC:  68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 233-245 (2019).
MSC:  68Q42
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 9, 17 p. (2018).
MSC:  68Q42 68R10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 165-174 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 3-21 (2018).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
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, 307-325 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 99-117 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 20-36 (2018).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 313-331 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 124-141 (2018).
MSC:  68R10 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 61-82 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 75, 12 p. (2017).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: Link
Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 283-299 (2017).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 106-122 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 36-53 (2017).
PDF BibTeX XML Cite
Full Text: DOI
de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 20-35 (2017).
MSC:  68Q42 18A30 68R10
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 300-318 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 15, 13 p. (2017).
MSC:  68R10 03B15 03D05 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Pighizzini, Giovanni (ed.) et al., Descriptional complexity of formal systems. 19th IFIP WG 1.02 international conference, DCFS 2017, Milano, Italy, July 3–5, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10316, 128-139 (2017).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 89-100 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 46-55 (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 14, 15 p. (2016).
MSC:  68Q42 03B70 68N30
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 10, 18 p. (2016).
MSC:  68Q42 68N30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Vizzotto, Juliana K. (ed.), Proceedings of the 3rd workshop-school on theoretical computer science, Porto Alegre, Brazil, October 14–16, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 324, 15-30 (2016).
MSC:  68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 111-125 (2016).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 236-251 (2016).
MSC:  68Q42 68R10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 206-222 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 170-186 (2016).
MSC:  68P15 68Q42 68R10
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 137-152 (2016).
MSC:  68Q42 68N99 68R10
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 73-88 (2016).
MSC:  68Q42 68Q45 92E20
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 521-532 (2016).
MSC:  68Q42 68W05 68W40
PDF BibTeX XML Cite
Full Text: DOI
Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 175-186 (2015).
MSC:  03D05 03B15 68Q45 68R10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 1-4 (2015).
MSC:  68R10 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Arenas, Marcelo (ed.) et al., 18th international conference on database theory, ICDT’15, Brussels, Belgium, March 23–27, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-79-8). LIPIcs – Leibniz International Proceedings in Informatics 31, 380-397 (2015).
MSC:  68P15 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Campêlo, Manoel (ed.) et al., LAGOS ’15. Selected papers of the 8th Latin-American algorithms, graphs, and optimization symposium, Praia das Fontes, Beberibe, Brazil, May 11–15, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 50, 3-8, electronic only (2015).
MSC:  03D05 68Q45 05C12 05C69 03B15
PDF BibTeX XML Cite
Full Text: DOI
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 3-26 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 89-105, electronic only (2015).
MSC:  68Q55 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-662-47979-7/hbk; 978-3-662-47980-3/ebook). xi, 472 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI

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
Biographic Reference
all top 3
Software