29.3k citations
- A. De Angelis3 profiles23 · h 10
- A. Savoy-Navarro4 profiles23 · h 111
- B. De Lotto2 profiles23 · h 27
- J. Cuevas2 profiles23 · h 118
- L. Lyons4 profiles23 · h 118
- M. Feindt2 profiles23 · h 111
- M. Houlden3 profiles23 · h 50
- N. Van Remortel3 profiles23 · h 52
- P. Renton2 profiles23 · h 60
- R. Orava2 profiles23 · h 78
- G. Gomez Ceballos18
- K. Österberg18
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT30 papers
- University of PaduaIT30 papers
- Institute for High Energy PhysicsES27 papers
- Centre National de la Recherche ScientifiqueFR25 papers
- University of BolognaIT24 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR23 papers
- Joint Institute for Nuclear ResearchRU23 papers
- Karlsruhe Institute of TechnologyDE23 papers
- University of LiverpoolGB23 papers
- University of OxfordGB23 papers
- University of TriesteIT23 papers
- Laboratoire de Physique Nucléaire et de Hautes ÉnergiesFR22 papers
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2007
Light Logics and Optimal Reduction: Completeness and Complexity
Patrick Baillot, Paolo Coppola, Ugo Dal Lago
Typing of lambda-terms in Elementary and Light Affine Logic (EAL, LAL, resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL (E…
cs.LO2005★ 1 cited
Automatic Verification of Timed Concurrent Constraint Programs
Moreno Falaschi, Alicia Villanueva
The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…
cs.LO2003
Temporalized logics and automata for time granularity
M. Franceschet, A. Montanari
Suitable extensions of the monadic second-order theory of k successors have been proposed in the literature to capture the notion of time granularity. In this paper, we provide the…