Back to Results
First PageMeta Content
Non-classical logic / Formal languages / Logic in computer science / Categorial grammar / Noncommutative logic / Proof theory / Linear logic / Johan van Benthem / Bunched logic / Logic / Mathematical logic / Substructural logic


Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999
Add to Reading List

Document Date: 2008-10-17 09:32:38

Open Document

File Size: 162,20 KB

Share Result on Facebook

City

Verona / Paris / Tokyo / Berlin / Cambridge / Amsterdam / Marseille / /

Company

Dordrecht / MIT Press / Hingham / Xerox / Lambekvan Benthem calculus LP / /

Country

France / /

Facility

Processing Geert-Jan Kruijff Charles University / /

IndustryTerm

proof search methods / exhaustive proof search / deductive systems / linguistic applications / on-line lambda conversion / incremental processing / linear time algorithm / endless search / chart parsing algorithm / proof search problem / categorial processing / computing / observed processing costs / speech translation systems / psycholinguistic processing phenomena / proof search / learning algorithms / /

Organization

School of Knowledge Science / UCLA / Los Angeles / European Summer School / Cornell / MIT / Efficient Linear Logic Meaning Assembly / Processing Geert-Jan Kruijff Charles University / Charles University / Prague / University of Sheffield / Universitat Polit`ecnica de Catalunya / Stanford / /

Person

Jan Kruijff David Sinclair Linear / Edward Stabler / Jan Kruijff / Formal Grammar / Mark Hepple / Josef van Genabith / Hermann Haeusler Francois Lamarche / Akim Demaille Luke Ong / Martin Hofmann Geert-Jan / Uday Reddy Eike Ritter Peter / David Pym Luiz Carlos Pereira / Carlo Dalla Pozza / Dick Crouch / Francois Lamarche Philippe de Groote / Alain Lecomte / Montague Grammars / Richard T. Oehrle / Richard Crouch / Mark Hepple Alessandra Carbone David / Valeria de Paiva / Logical Aspects / Tsutomu Fujinami Akim Demaille Luke / Philippe de Groote Christian / Noam Chomsky / Sara Kalvala Bertram Fronhoefer Infinitary / Christian Retor´e Sara / Eike Ritter / Luiz Carlos Pereira Gianluigi Bellin Dick / Alessandra Carbone David Pym Luiz / Tsutomu Fujinami / Christian Retor / Christian Retore / Yves Pollock / /

Position

editor / Carpenter / /

ProgrammingLanguage

C / /

ProvinceOrState

Massachusetts / /

PublishedMedium

Computational Linguistics / Natural Language Semantics / /

Technology

functional programming / parsing and learning algorithms / machine translation / Natural Language Processing / artificial intelligence / chart parsing algorithm / linear time algorithm / /

SocialTag