Up a level |
Number of items: 1.
Lu, Chia-Hsuan and Tan, Tony ORCID: 0009-0005-8341-2004
(2024)
On two-variable guarded fragment logic with expressive local Presburger constraints.
Logical Methods in Computer Science.
Up a level |
Lu, Chia-Hsuan and Tan, Tony ORCID: 0009-0005-8341-2004
(2024)
On two-variable guarded fragment logic with expressive local Presburger constraints.
Logical Methods in Computer Science.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000