1712 search results - page 17 / 343 » A Computational Approach to Binding Theory |
EACL
1989
ACL Anthology
15 years 28 days ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
116
click to vote
Lecture Notes
These lecture notes cover several topics such as Consumer Theory Basics, The Traditional Approach To Consumer Theory, Topics in Consumer Theory,
Producer Theory, Choice Under Unce...
102
click to vote
HOA
1993
15 years 3 months ago
1993
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
DAGSTUHL
2008
15 years 1 months ago
2008
The Exact Geometric Computation (EGC) mode of computation has been developed over the last decade in response to the widespread problem of numerical non-robustness in geometric al...
LICS
2009
IEEE
15 years 6 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...