71 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- KU LeuvenBE3 papers
- Board of the Swiss Federal Institutes of TechnologyCH2 papers
- Centro de AstrobiologíaES2 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR2 papers
- Dublin Institute For Advanced StudiesIE2 papers
- Leiden UniversityNL2 papers
- Max Planck Institute for AstronomyDE2 papers
- Max Planck Institute for Extraterrestrial PhysicsDE2 papers
- NSF NOIRLabUS2 papers
- Royal ObservatoryGB2 papers
- Stockholm UniversitySE2 papers
- UK Astronomy Technology CentreGB2 papers
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 2 cited
Constructive validity of a generalized Kreisel-Putnam rule
Ivo Pezlar
In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…
astro-ph.SR2023★ 46 cited
A massive helium star with a sufficiently strong magnetic field to form a magnetar
T. Shenar, G. A. Wade, P. Marchant +13
Magnetars are highly magnetized neutron stars; their formation mechanism is unknown. Hot helium-rich stars with spectra dominated by emission lines are known as Wolf-Rayet stars. W…