5 citations · 5 across the 1 of their papers we have counts for
2 papers
astro-ph.HE2022★ 5 cited
Search for gravitational-wave transients associated with magnetar bursts in Advanced LIGO and Advanced Virgo data from the third observing run
The LIGO Scientific Collaboration, the Virgo Collaboration, the KAGRA Collaboration +1667
Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-…
cs.LO2020
SCL with Theory Constraints
Martin Bromberger, Alberto Fiori, Christoph Weidenbach
We lift the SCL calculus for first-order logic without equality to the SCL(T) calculus for first-order logic without equality modulo a background theory. In a nutshell, the SCL(T)…