×

zbMATH — the first resource for mathematics

Found 2,215 Documents (Results 1–100)

100
MathJax
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 169-193 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 133-168 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 57-72 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 21-40 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 11-20 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 1-9 (2021).
PDF BibTeX XML Cite
Full Text: DOI
Trends in Logic – Studia Logica Library 55. Cham: Springer (ISBN 978-3-030-52162-2/hbk; 978-3-030-52163-9/ebook). x, 193 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI
Sedlár, Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications. 67-81 (2020).
PDF BibTeX XML Cite
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). 795-806 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Logic PhDs 2. London: College Publications; Pittsburgh, PA: Univ. Pittsburg (Diss. 1966) (ISBN 978-1-84890-318-0/pbk). 112 p. (2019).
PDF BibTeX XML Cite
Liao, Beishui (ed.) et al., Dynamics, uncertainty and reasoning. Selected papers of the second Chinese conference on logic and argumentation (CLAR 2018), Hangzhou, China, June 16–17, 2018. Singapore: Springer. Log. Asia: Stud. Log. Libr., 81-115 (2019).
MSC:  03B47
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 292. Waterloo: Open Publishing Association (OPA). 167 p., electronic only, open access (2019).
PDF BibTeX XML Cite
Full Text: DOI Link
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 317-334 (2019).
MSC:  03F52 03F07 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 297-316 (2019).
MSC:  03B70 03F52
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 259-276 (2019).
MSC:  03F07 03F52
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 241-258 (2019).
MSC:  03B47 03F52
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 130-146 (2019).
MSC:  03B47 03F03
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 94-110 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 470-487 (2019).
MSC:  03F52 03D05 03B16
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
all top 3
Software