×

zbMATH — the first resource for mathematics

Found 3,708 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, 73-105 (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, 41-56 (2021).
MSC:  06C15 03G10 03G12
PDF BibTeX XML Cite
Full Text: DOI
Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 144-152 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 3-32 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 318. Waterloo: Open Publishing Association (OPA). 253 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI Link Link
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. 221-231 (2020).
PDF BibTeX XML Cite
Cham: Springer (ISBN 978-3-030-42663-7/pbk; 978-3-030-42664-4/ebook). xvii, 269 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 449-465 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 423-447 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 305-316 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 257-283 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 233-256 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 199-215 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 165-198 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 101-124 (2020).
MSC:  03-XX 81-XX 60-XX
PDF BibTeX XML Cite
Full Text: DOI
Soares Barbosa, Luís (ed.) et al., Dynamic logic. New trends and applications. Second international workshop, DALI 2019, Porto, Portugal, October 7–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12005, 209-217 (2020).
MSC:  03B70
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