805 citations
- University of TrentoIT16 papers
- University of PaduaIT12 papers
- Italian Institute of TechnologyIT11 papers
- Centre National de la Recherche ScientifiqueFR10 papers
- Sapienza University of RomeIT9 papers
- University of UdineIT9 papers
- University of GenoaIT7 papers
- Lyon 1 UniversitéFR6 papers
- University of Naples Federico IIIT6 papers
- University of ParmaIT6 papers
- European Organization for Nuclear ResearchCH5 papers
- Fondazione Bruno KesslerIT5 papers
Showing 2010 · cs.LOShow all
2 papers · 2 filters
cs.LO2010★ 1 cited
Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Davide Bresolin, Pietro Sala, Guido Sciavicco
Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern an…
cs.LO2010★ 6 cited
General Ramified Recurrence is Sound for Polynomial Time
Ugo Dal Lago, Simone Martini, Margherita Zorzi
Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivan…