61 |
Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract
|
|
|
|
In: 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97 ; https://hal.inria.fr/inria-00098572 ; 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910 (1998)
|
|
BASE
|
|
Show details
|
|
62 |
Words as modules: a lexicalised grammar in the framework of linear logic proof nets.
|
|
|
|
In: Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II) ; https://hal.inria.fr/inria-00098440 ; Mathematical & Computational Analysis of Natural Language (Proceedings of International conference on mathematical linguistics II), 1998, Tarragone, pp.129-144 (1998)
|
|
BASE
|
|
Show details
|
|
63 |
Proof Nets for the Lambek Calculus - an overview
|
|
|
|
In: Third Roma Workshop: Proofs in Linguistic Categories ; https://hal.inria.fr/inria-00098442 ; Third Roma Workshop: Proofs in Linguistic Categories, 1998, Roma, Italy, pp.241-262 (1998)
|
|
BASE
|
|
Show details
|
|
64 |
Chu spaces as a semantic bridge between linear logic and mathematics
|
|
|
|
In: http://boole.stanford.edu/pub/bridge.pdf (1998)
|
|
BASE
|
|
Show details
|
|
65 |
How to Glue a Donkey to an f-Structure or Porting a Dynamic Meaning Representation Language into LFG's Linear Logic Based Glue-Language Semantics
|
|
|
|
In: http://www.compapp.dcu.ie/~josef/Papers/iwcs97.ps (1997)
|
|
BASE
|
|
Show details
|
|
66 |
Gert-Jan C. Lokhorst
|
|
|
|
In: http://semarch.linguistics.fas.nyu.edu/barker/Current/lokhorst-deontic-petri.pdf (1997)
|
|
BASE
|
|
Show details
|
|
67 |
A linnear-logical approach to some syntactic-semantic phenomena in romance languages
|
|
Lecomte, Alain. - : Sociedad Española para el Procesamiento del Lenguaje Natural, 1994
|
|
BASE
|
|
Show details
|
|
69 |
Syllogistic Reasoning Tasks, A Methodological Review.
|
|
|
|
In: DTIC AND NTIS (1985)
|
|
BASE
|
|
Show details
|
|
70 |
MATHEMATICAL ASPECTS OF COMPUTER SCIENCE
|
|
|
|
In: DTIC AND NTIS (1967)
|
|
BASE
|
|
Show details
|
|
72 |
A NOTE ON PRESERVATION OF LANGUAGES BY TRANSDUCERS
|
|
|
|
In: DTIC AND NTIS (1967)
|
|
BASE
|
|
Show details
|
|
74 |
Fuji Xerox Co., Ltd.
|
|
|
|
In: http://www2.parc.com/istl/groups/nltt/pargram/japanese_glue_35.pdf
|
|
BASE
|
|
Show details
|
|
75 |
Resolution in Linguistic First Order Logic based on Linear Symmetrical Hedge Algebra
|
|
|
|
In: http://download948.mediafire.com/6qk9p84084fg/rl5jdjl7o366yy5/paper.pdf
|
|
BASE
|
|
Show details
|
|
76 |
Labelled Proof Nets for the Syntax and Semantics of Natural Languages
|
|
In: http://webloria.loria.fr/%7Eperrier/research/igpl1999.pdf
|
|
BASE
|
|
Show details
|
|
77 |
Syntactic Connectivity
|
|
|
|
In: http://www.lsi.upc.es/~morrill/papers/synconn.ps.gz
|
|
BASE
|
|
Show details
|
|
78 |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
|
|
|
|
In: http://www.loria.fr/~pogodall/publications/degroote-pogodalla-pollard.pdf
|
|
BASE
|
|
Show details
|
|
79 |
An Improvement of the Piggyback Algorithm for Parallel Model Checking
|
|
|
|
In: http://spinroot.com/gerard/pdf/spin_2014.pdf
|
|
BASE
|
|
Show details
|
|
80 |
Proving Ambiguity
|
|
|
|
In: http://www.jaist.ac.jp/~fuji/docs/papers/Tilburg/CompSem2/prove.ps.gz
|
|
BASE
|
|
Show details
|
|
|
|