R. Loos
- Applying Linear Quantifier Elimination
1993/05/01 by R. Loos, Rüdiger Loos · 6 citations
Computer Science · #Neural Networks and Applications
- Search for millicharged particles in proton-proton collisions at √(s) = 13.6 TeV
2025/06/02 by S. Alcott, Alcott, S., Z. Bhatti +71 · 4 voices
Physics and Astronomy · #FOS: Physical sciences #High Energy Physics - Experiment (hep-ex) #hep-ex