Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/20347
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge |
dc.contributor.author | Valentín Fernández Gallart, José Oriol |
dc.contributor.author | Serret, Daniel |
dc.contributor.author | Morrill, Glyn |
dc.date | 2013 |
dc.identifier.citation | Valentin Fernandez, J.; Serret, D.; Morrill, G. A count invariant for Lambek calculus with additives and bracket modalities. A: Formal Grammar. "Proceedings of the 18th International Conference on Formal Grammar". Dusseldorf: Springer-Verlag Berlin Heidelberg, 2013, p. 263-276. |
dc.identifier.citation | 978-364239997-8 |
dc.identifier.citation | 10.1007/978-3-642-39998-5_17 |
dc.identifier.uri | http://hdl.handle.net/2117/20347 |
dc.language.iso | eng |
dc.publisher | Springer-Verlag Berlin Heidelberg |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat |
dc.subject | Invariant (mathematics) |
dc.subject | Categorial grammar |
dc.subject | Lambek calculus |
dc.subject | Linear logic |
dc.subject | Multiplicative linear logic |
dc.subject | Mutual recursion |
dc.subject | Proof search |
dc.subject | Invariants |
dc.title | A count invariant for Lambek calculus with additives and bracket modalities |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract |