Forbidding undesirable agreements
Files
Publication date
2015
Authors
Turrini, P.
Grossi, Davide
Broersen, J.M.
Meyer, John Jules
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
taverne
Abstract
Keywords
Taverne
Citation
Turrini, P, Grossi, D, Broersen, J M & Meyer, J-J C 2015, 'Forbidding undesirable agreements', Journal of Logic and Computation, vol. 25, no. 1, pp. 159-178. https://doi.org/10.1093/logcom/ext051