Extended Lambek Calculi and First-Order Linear Logic
Work
Year: 2014
Type: book-chapter
Author Richard Moot
Institutions Centre National de la Recherche Scientifique, Université de Bordeaux, Laboratoire Bordelais de Recherche en Informatique, Institut Polytechnique de Bordeaux
Cites: 60
Cited by: 16
Related to: 10
FWCI: 2.628
Citation percentile (by year/subfield): 92.6
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green