Ghent University

output

20022008

most citedA refinement of the Gribov-Zwanziger approach in the Landau gauge: infrared propagators in harmony with the lattice results

542 citations

researchers with a paper here

Henri Verschelde3
A. Laface2 · h 17
B. Langerock2 · h 26
C. D. Volder2 · h 4
David Dudal2
K. Heyde2 profiles2 · h 39
M. Crampin2
Nele Vandersickel2
S. P. Sorella2 profiles2
Tom Mestdag2
A. Airapetian1
A. Andrus1

collaborating institutions

University of MichiganUS3 papers
Ghent University HospitalBE2 papers
Universidade do Estado do Rio de JaneiroBR2 papers
A. Alikhanyan National LaboratoryAM1 paper
Argonne National LaboratoryUS1 paper
Azerbaijan National Academy of SciencesAZ1 paper
Bulgarian Academy of SciencesBG1 paper
California Institute of TechnologyUS1 paper
Consejo Superior de Investigaciones CientíficasES1 paper
Dalle Molle Institute for Artificial Intelligence ResearchCH1 paper
Friedrich-Alexander-Universität Erlangen-NürnbergDE1 paper
Health and Education Research Management and Epidemiologic Services (United States)US1 paper

Showing cs.LOShow 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…