×

zbMATH — the first resource for mathematics

Found 215 Documents (Results 1–100)

100
MathJax
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 22, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Mras, Gabriele M. (ed.) et al., Philosophy of logic and mathematics. Proceedings of the 41st international Ludwig Wittgenstein symposium. Berlin: De Gruyter. Publ. Austrian Ludwig Wittgenstein Soc. New Ser. 27, 441-456 (2019).
MSC:  01A60 00A30 01A90
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 633-646 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Information, contextuality, relationalism and entanglement. Proceedings of the II international workshop on quantum mechanics and quantum information. Physical, philosophical and logical approaches, CLEA, Brussels Free University, Belgium, July 23–24, 2015. Hackensack, NJ: World Scientific. 319-353 (2019).
MSC:  81P05
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Jaakko Hintikka on knowledge and game-theoretical semantics. Dedicated to the memory of Jaakko Hintikka. Cham: Springer. Outst. Contrib. Log. 12, 279-298 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 137-146 (2018).
MSC:  93A30 93C55 93D99 93C10
PDF BibTeX XML Cite
Full Text: DOI Link
Proceedings of the 21st ACM international conference on hybrid systems: computation and control, HSCC 2018, Porto, Portugal, April 11–13, 2018. New York, NY: Association for Computing Machinery (ACM). 21-30 (2018).
MSC:  90C40
PDF BibTeX XML Cite
Full Text: DOI
Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 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. 10204, 277-297 (2017).
MSC:  68M25 68N99
PDF BibTeX XML Cite
Full Text: DOI
Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 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. 10204, 3-25 (2017).
MSC:  68M25
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Prosorov, Oleg (ed.), Proceedings of the international conference on philosophy, mathematics, linguistics: aspects of interaction (PhML-2012), Euler International Mathematical Institute St. Petersburg, St. Petersburg, Russia, May 22–25, 2012. London: College Publications. Stud. Log. (Lond.) 70, 183-243 (2017).
MSC:  91F20
PDF BibTeX XML Cite
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 284-298 (2017).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Dependence logic. Theory and applications. Selected papers based on the presentations at the Dagstuhl seminar on ‘Dependence logic: theory and applications’, Wadern, Germany, February 2013. Basel: Birkhäuser/Springer. 99-107 (2016).
MSC:  03B60 03-03 01A60
PDF BibTeX XML Cite
Full Text: DOI
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 14, 13 p. (2016).
MSC:  68T30 03B16 68T27
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). 692-699 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 247-254 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 116-133 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 257-272 (2016).
MSC:  68Q42
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, 114-126 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 68-77 (2015).
MSC:  93B51 93B50 93C05
PDF BibTeX XML Cite
Full Text: DOI
Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 123-147 (2014).
MSC:  03A05 03B70 03B65
PDF BibTeX XML Cite
Proceedings of the 17th ACM international conference on hybrid systems: computation and control, HSCC 2014, Berlin, Germany, April 15–17, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2732-9). 243-252 (2014).
MSC:  92C37 92C42 92C40
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 109-128, electronic only (2014).
MSC:  03G30 03B45
PDF BibTeX XML Cite
Full Text: DOI
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 28-40 (2013).
MSC:  68N99 68Q55
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). 193-206 (2013).
MSC:  68T15 06B99 68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Punčochář, Vít (ed.) et al., The Logica yearbook 2012. Proceedings of the 26th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 18–22, 2012. London: College Publications (ISBN 978-1-84890-110-0/pbk). 113-136 (2013).
MSC:  03B65 03-03 03A05
PDF BibTeX XML Cite
Proceedings of the 15th ACM international conference on hybrid systems: computation and control, HSCC 2012, Beijing, China, April 17–19, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1220-2). 15-23 (2012).
MSC:  68Q60 93A15 93B03
PDF BibTeX XML Cite
Full Text: DOI
Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 162-176 (2012).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 9th annual conference, TAMC 2012, Beijing, China, May 16–21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29951-3/pbk). Lecture Notes in Computer Science 7287, 72-83 (2012).
MSC:  68Q85 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 148-168 (2012).
MSC:  68Q60 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 23-32 (2011).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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