×

zbMATH — the first resource for mathematics

Found 168 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 886-899 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 56, No. 1, 105-124 (2017); translation from Kibern. Sist. Anal. 2017, No. 1, 107-127 (2017).
MSC:  68T27 68U35
PDF BibTeX XML Cite
Full Text: DOI
Roy, Olivier (ed.) et al., Deontic logic and normative systems. 13th international conference, DEON 2016, Bayreuth, Germany, July 18–21, 2016. Proceedings. London: College Publications. 171-186 (2016).
MSC:  03B45 03B44 03B42
PDF BibTeX XML Cite
Haemmerlé, Ollivier (ed.) et al., Graph-based representation and reasoning. 22nd international conference on conceptual structures, ICCS 2016, Annecy, France, July 5–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40984-9/pbk; 978-3-319-40985-6/ebook). Lecture Notes in Computer Science 9717. Lecture Notes in Artificial Intelligence, 31-39 (2016).
MSC:  03A05 03B44 03B65
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2015. Proceedings of the 29th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 15–19, 2015. London: College Publications. 205-212 (2016).
MSC:  03B44
PDF BibTeX XML Cite
Arazim, Pavel (ed.) et al., The Logica yearbook 2014. Proceedings of the 28th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 16–20, 2014. London: College Publications (ISBN 978-1-84890-177-3/pbk). 293-310 (2015).
MSC:  03B45 03B44
PDF BibTeX XML Cite
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 530-545 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 196-215 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Konev, Boris (ed.) et al., Frontiers of combining systems. 6th international symposium, FroCoS 2007, Liverpool, UK, September 10–12, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74620-1/pbk). Lecture Notes in Computer Science 4720. Lecture Notes in Artificial Intelligence, 193-205 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 486-497 (2007).
MSC:  03B44
PDF BibTeX XML Cite
Full Text: DOI
Romijn, Judi (ed.) et al., Integrated formal methods. 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 – December 2, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-30492-0/pbk). Lecture Notes in Computer Science 3771, 53-69 (2005).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI
Jensen, Kurt (ed.) et al., Tools and algorithms for the construction and analysis of systems. 10th international conference, TACAS 2004, held as part of the joint conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21299-X/pbk). Lecture Notes in Computer Science 2988, 163-167 (2004).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Alur, Rajeev (ed.) et al., Hybrid systems: computation and control. 7th international workshop, HSCC 2004, Philadelphia, PA, USA, March 25–27, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21259-0/pbk). Lecture Notes in Computer Science 2993, 280-295 (2004).
PDF BibTeX XML Cite
Full Text: DOI
Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 355-370 (2003).
MSC:  03B44
PDF BibTeX XML Cite
Gilmore, Stephen (ed.) et al., Language constructs for describing features. Proceedings of the FIREworks workshop, Glasgow, UK, May 15–16, 2000. London: Springer (ISBN 1-85233-392-8/pbk). 85-103 (2001).
PDF BibTeX XML Cite
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers. 177-194 (2001).
MSC:  03B60 68T27 03B44
PDF BibTeX XML Cite
Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 318-331 (2001).
MSC:  68Q60 03B44 68N17
PDF BibTeX XML Cite

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