Advanced search
1 file | 437.52 KB Add to list
Author
Organization

Downloads

  • Brackets.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 437.52 KB

Citation

Please use this url to cite or link to this publication:

MLA
Fernández-Duque, David, and Eduardo Hermo Reyes. “A Self-Contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\).” Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, 2019, p. 195, doi:10.1007/978-3-662-59533-6_12.
APA
Fernández-Duque, D., & Reyes, E. H. (2019). A Self-contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\). In Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings (p. 195). https://doi.org/10.1007/978-3-662-59533-6_12
Chicago author-date
Fernández-Duque, David, and Eduardo Hermo Reyes. 2019. “A Self-Contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\).” In Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, 195. https://doi.org/10.1007/978-3-662-59533-6_12.
Chicago author-date (all authors)
Fernández-Duque, David, and Eduardo Hermo Reyes. 2019. “A Self-Contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\).” In Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, 195. doi:10.1007/978-3-662-59533-6_12.
Vancouver
1.
Fernández-Duque D, Reyes EH. A Self-contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\). In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. 2019. p. 195.
IEEE
[1]
D. Fernández-Duque and E. H. Reyes, “A Self-contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\),” in Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, 2019, p. 195.
@inproceedings{8668862,
  author       = {Fernández-Duque, David and Reyes, Eduardo Hermo},
  booktitle    = {Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
  language     = {und},
  title        = {A Self-contained Provability Calculus for {\(\Gamma\)}\(_{\mbox0}\)},
  url          = {http://dx.doi.org/10.1007/978-3-662-59533-6_12},
  year         = {2019},
}

Altmetric
View in Altmetric