TY  - GEN
AU  - Moss, Lawrence Stuart,
AU  - Queiroz, Ruy J. G. B. de,
AU  - Martinez, Maricarmen,
CN  - QA9.A1
DO  - 10.1007/978-3-662-57669-4
DO  - doi
ID  - 843858
KW  - Logic, Symbolic and mathematical
KW  - Language and logic
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-57669-4
N1  - International conference proceedings.
N1  - Includes author index.
SN  - 9783662576694
SN  - 3662576694
T1  - Logic, language, information, and computation :25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
TI  - Logic, language, information, and computation :25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-662-57669-4
VL  - 10944
ER  -