Polynomial-time checking of generalized Sahlqvist syntactic shape

Krishna B. Manoorkar, Alessandra Palmigiano, Mattia Panettiere*

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'Polynomial-time checking of generalized Sahlqvist syntactic shape'. Together they form a unique fingerprint.

Computer Science

Mathematics