Linguistic Applications of First Order Intuitionistic Linear Logic
Journal of Logic, Language and Information
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Possible worlds and resources: the semantics of BI
Theoretical Computer Science - Mathematical foundations of programming semantics
Model checking linear logic specifications
Theory and Practice of Logic Programming
The semantics of BI and resource tableaux
Mathematical Structures in Computer Science
Lambek calculus is NP-complete
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Symbolic Negotiation in Linear Logic with Coalition Formation
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
From web services annotation and composition to web services domain analysis
International Journal of Metadata, Semantics and Ontologies
Modelling Multilateral Negotiation in Linear Logic
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Disjunction property and complexity of substructural logics
Theoretical Computer Science
Structural analysis of narratives with the Coq proof assistant
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Disentangling notions of specifier impenetrability: late adjunction, islands, and expressive power
MOL'11 Proceedings of the 12th biennial conference on The mathematics of language
Symbolic negotiation with linear logic
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Partial deduction for linear logic—the symbolic negotiation perspective
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Hi-index | 0.00 |