Volume: Vol-3733 CILC 2024 | Year: 2024

Paper: « paper4 | paper5 | paper6 »

On Two-variable First-order Logic with a Partial Order

• Dariusz Marzec dblp
• Lidia Tendera ORCID dblp

PDF