Search results for "subexponentials"

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.	PPDP	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.	J. VLSI Signal Process.	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.	CoRR	2021	DBLP BibTeX RDF
33	Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov	Soft Subexponentials and Multiplexing.	IJCAR (1)	2020	DBLP DOI BibTeX RDF
33	Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov	Subexponentials in non-commutative linear logic.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
33	Kaustuv Chaudhuri	Expressing additives using multiplicatives and subexponentials.	Math. Struct. Comput. Sci.	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.	IJCAR	2018	DBLP DOI BibTeX RDF
33	Vivek Nigam, Carlos Olarte, Elaine Pimentel	On subexponentials, focusing and modalities in concurrent systems.	Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
33	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek calculus with subexponentials and bracket modalities.	CoRR	2016	DBLP BibTeX RDF
33	Kaustuv Chaudhuri, Giselle Reis	An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials.	LPAR	2015	DBLP DOI BibTeX RDF
33	Chuck C. Liang, Dale Miller 0001	On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control.	LPAR	2015	DBLP DOI BibTeX RDF
33	Vivek Nigam, Elaine Pimentel, Giselle Reis	Specifying Proof Systems in Linear Logic with Subexponentials.	LSFA	2010	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )