Colacito, Almudena

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 3.

Journal Article

Colacito, Almudena; Metcalfe, George (2019). Ordering Free Groups and Validity in Lattice-Ordered Groups. Journal of pure and applied algebra, 223(12), pp. 5163-5175. Elsevier 10.1016/j.jpaa.2019.03.015

Colacito, Almudena; de Jongh, Dick; Vargas, A. L. (2017). Subminimal negation. Soft computing, 21(1), pp. 165-174. Springer 10.1007/s00500-016-2391-8

Book Section

Colacito, Almudena; Metcalfe, George (2017). Proof Theory and Ordered Groups. In: Kennedy, Juliette; de Queiroz, Ruy J.G.B. (eds.) Proceedings of WoLLIC 2017. Logic, Language, Information, and Computation. Lecture Notes in Computer Science: Vol. 10388 (pp. 80-91). Springer-Verlag Berlin Heidelberg 10.1007/978-3-662-55386-2_6

This list was generated on Sun Oct 20 11:10:46 2019 CEST.
Provide Feedback