A semantic measure of the execution time in linear logic
Work
Year: 2010
Type: article
Source: Theoretical Computer Science
Institutions Laboratoire Lorrain de Recherche en Informatique et ses Applications, Université Paris Cité, Laboratory Preuves, Programmes et Systèmes, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord +1 more
Cites: 31
Cited by: 56
Related to: 10
FWCI: 3.16
Citation percentile (by year/subfield): 100
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze