About Us
The Hexagons
Organisation
Job Openings
Projects
People
Events
Talks
Preprints
Guests
News
Login
Conciseness of first-order formulae
Preprint 25025
PDF
Authors:
Martina Conte
,
Moritz Petschick
Project:
A6
Submission date: 05 May 2025