João Marcos

Affiliations:

According to our database¹, João Marcos authored at least 2 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

A method for the automated generation of proof exercises with comparable levels of proving complexity.

[DOI]

CoRR, March, 2026

2025

Intrinsic and relative characterization results for logics with negative modalities.

[DOI]

CoRR, December, 2025