Тексеру және қанағаттандыру

task ID: verificationandsatisfiability

Related Papers

Indexing and a Referential Dependencies Within Binding Theory: Computational Framework

Authors: nan

Publication: TIPSTER (1991)

DOI: nan

This work is concerned with the development of instruments for GB parsing. An alternative to the well known indexation system of (Chomsky, 1981) will be proposed and then used to …...

44002