17 citations · 20 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Elaine Pimentel, Enrico Tassi
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…
hep-ex2021
Study of proton parton distribution functions at high x
Ritu Aggarwal
At large values of the parton distribution functions (PDFs) of the proton are poorly constrained and there are considerable variations between different global fits. Data at su…