Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Theoretical Computer Science and General Issues

Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Editors: Moss, Lawrence S., de Queiroz, Ruy, Martinez, Maricarmen (Eds.)

Buy this book

eBook $59.99
price for Brazil (gross)
  • ISBN 978-3-662-57669-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for Brazil
  • ISBN 978-3-662-57668-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation.

Table of contents (18 chapters)

  • Inhabitants of Intuitionistic Implicational Theorems

    Bimbó, Katalin

    Pages 1-24

  • Symbolic Reasoning Methods in Rewriting Logic and Maude

    Meseguer, José

    Pages 25-60

  • A Semantical View of Proof Systems

    Pimentel, Elaine

    Pages 61-76

  • A Formalization of Brouwer’s Argument for Bar Induction

    Akiyoshi, Ryota

    Pages 77-90

  • Deciding Open Definability via Subisomorphisms

    Areces, Carlos (et al.)

    Pages 91-105

Buy this book

eBook $59.99
price for Brazil (gross)
  • ISBN 978-3-662-57669-4
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for Brazil
  • ISBN 978-3-662-57668-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic, Language, Information, and Computation
Book Subtitle
25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Editors
  • Lawrence S. Moss
  • Ruy de Queiroz
  • Maricarmen Martinez
Series Title
Theoretical Computer Science and General Issues
Series Volume
10944
Copyright
2018
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Germany, part of Springer Nature
eBook ISBN
978-3-662-57669-4
DOI
10.1007/978-3-662-57669-4
Softcover ISBN
978-3-662-57668-7
Edition Number
1
Number of Pages
XVIII, 325
Number of Illustrations
29 b/w illustrations
Topics