Full Text Available
Access Full Text at Repository
Search Results
-
LFPL: Revisited and Mechanized
Published in ArXiv cs.LO Recent Papers (2026)Get full text
Online Article RSS Article -
-
On guarded extensions of MMSNP
Published in Logical Methods in Computer Science (2025)Get full text