output
20022026
most citedCombined Measurement of the Higgs Boson Mass in Collisions at and 8 TeV with the ATLAS and CMS Experiments

1.4k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2002Show all

1 paper · 1 filter

cs.LO2002★ 12 cited

On a Partial Decision Method for Dynamic Proofs

Diderik Batens

This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivab…