University of L'Aquila

output

20022009

most citedFlavour physics of leptons and dipole moments

378 citations

researchers with a paper here

S. Ciuchi2 profiles9 · h 28
S. Fratini2 profiles6 · h 27
G. Profeta2 profiles5 · h 32
G. Torrioli2 profiles5 · h 23
A. Chincarini2 profiles4 · h 95
Aldo Ianni4
A. Marini2 profiles4 · h 17
A. Rocchi2 profiles4 · h 95
Carlo Pierleoni4
E. Coccia2 profiles4 · h 71
F. Ronga3 profiles4 · h 86
G. Giordano3 profiles4 · h 42

collaborating institutions

Sapienza University of RomeIT18 papers
Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali del Gran SassoIT16 papers
Centre National de la Recherche ScientifiqueFR14 papers
University of Rome Tor VergataIT12 papers
National Interuniversity Consortium for the Physical Sciences of MatterIT9 papers
Istituto di Fotonica e NanotecnologieIT7 papers
Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT6 papers
Scuola Internazionale Superiore di Studi AvanzatiIT6 papers
Université Joseph FourierFR6 papers
University of CagliariIT6 papers
University of PaduaIT6 papers
European Organization for Nuclear ResearchCH5 papers

Showing cs.PLShow all

1 paper · 1 filter

cs.PL2004

Transformation Rules for Locally Stratified Constraint Logic Programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

We propose a set of transformation rules for constraint logic programs with negation. We assume that every program is locally stratified and, thus, it has a unique perfect model. W…