ATLAS detector 2b-quark final states 1cross-section measurement 1dilepton production 1effective field theory 1exotic decays 1higgs boson 1lepton flavour universality 1scalar particles 1top quark physics 1
From the 2 of 124 papers with an AI index.
61 citations
- Université Paris CitéFR61 papers
- Université Paris-SaclayFR61 papers
- Ludwig-Maximilians-Universität MünchenDE59 papers
- University College LondonGB58 papers
- University of BolognaIT58 papers
- University of BonnDE58 papers
- University of GenevaCH58 papers
- Centre National de la Recherche ScientifiqueFR57 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di BolognaIT57 papers
- University of OsloNO57 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di NapoliIT56 papers
- University of LisbonPT56 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
SATisfying the High School Identities but not Wilkie's Identity
Agon Hajdari, Johannes Niederhauser
We settle an open question related to Tarski's High School Algebra problem by showing that no 11-element algebra can satisfy the High School Identities while refuting Wilkie's iden…
cs.LO2026
Unification of Deterministic Higher-Order Patterns (Full Version)
Johannes Niederhauser, Aart Middeldorp
We present a sound and complete unification procedure for deterministic higher-order patterns, a class of simply-typed lambda terms introduced by Yokoyama et al. which comes with a…