@收款{zbMATH06625896，作者={拉莫斯、马库斯·维恩（Marcus Vin）、希斯·米德纳（Midena）和德奎罗斯（de Queiroz）、鲁伊·J·G·B.（Ruy J.G.B.）和莫雷拉（Moreira）、内尔玛（Nelma）和巴克莱尔·阿尔梅达（Bacelar Almeida）、乔斯·卡洛斯（Jos），Title={关于无语境语言理论一些结果的形式化}，BookTitle={逻辑、语言、信息和计算。第23届国际研讨会，WoLLIC 2016，墨西哥普埃布拉，2016年8月16日至19日。诉讼}，国际标准图书编号={978-3-662-52920-1；978-3-562-52921-8}，页码={338--357}，年份={2016年}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-662-52921-8_21}，关键词={68Q45,68Q42,68V20}，URL={repositorio.intesctec.pt/handle/123456789/4753}，zbMATH＝{6625896}，Zbl={1478.68133}}