146 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Center for NanoScienceDE2 papers
- ITMO UniversityRU2 papers
- Ludwig-Maximilians-Universität MünchenDE2 papers
- Munich Center for Quantum Science and TechnologyDE2 papers
- National Institute for Materials ScienceJP2 papers
- University of ViennaAT2 papers
- Amazon (United States)US1 paper
- Augusta University HealthUS1 paper
- Carnegie Mellon University QatarQA1 paper
- Chinese Academy of SciencesCN1 paper
- Chuo UniversityJP1 paper
- IBM (United States)US1 paper
Showing 2019Show all
2 papers · 1 filter
cs.LO2019★ 1 cited
The ILLTP Library for Intuitionistic Linear Logic
Carlos Olarte, Valeria de Paiva, Elaine Pimentel +1
Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such…
cs.LO2019★ 2 cited
On the Lambek Calculus with an Exchange Modality
Jiaming Jiang, Harley Eades, Valeria de Paiva
In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing…