"Reasoning About Knowledge In Linear Logic: Modalities and Complexity."

Mathieu Marion, Mehrnouche Sadrzadeh (2004)

Details and statistics

DOI: 10.1007/978-1-4020-2808-3_17

access: closed

type: Part in Book or Collection

metadata version: 2017-05-16