|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
159 | Vivek Nigam, Dale Miller 0001 |
Algorithmic specifications in linear logic with subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 129-140, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
subexponentials, linear logic, proof search |
59 | Álvaro Vázquez, Elisardo Antelo |
Implementation of the Exponential Function in a Floating-Point Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 33(1-2), pp. 125-145, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
exponential function, computer arithmetic, floating-point unit, transcendental functions |
33 | Lachlan McPheat, Hadi Wazni, Mehrnoosh Sadrzadeh |
Vector Space Semantics for Lambek Calculus with Soft Subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.11331, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
Soft Subexponentials and Multiplexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR (1) ![In: Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I, pp. 500-517, 2020, Springer, 978-3-030-51073-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
Subexponentials in non-commutative linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 29(8), pp. 1217-1249, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
33 | Kaustuv Chaudhuri |
Expressing additives using multiplicatives and subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(5), pp. 651-666, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov |
A Logical Framework with Commutative and Non-commutative Subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, pp. 228-245, 2018, Springer, 978-3-319-94204-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Vivek Nigam, Carlos Olarte, Elaine Pimentel |
On subexponentials, focusing and modalities in concurrent systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 693, pp. 35-58, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
Undecidability of the Lambek calculus with subexponentials and bracket modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.04020, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
33 | Kaustuv Chaudhuri, Giselle Reis |
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 146-161, 2015, Springer, 978-3-662-48898-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Chuck C. Liang, Dale Miller 0001 |
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 297-312, 2015, Springer, 978-3-662-48898-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
33 | Vivek Nigam, Elaine Pimentel, Giselle Reis |
Specifying Proof Systems in Linear Logic with Subexponentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LSFA ![In: Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010, pp. 109-123, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|