| 1 |
History of Logo
|
|
|
|
In: Proceedings of the ACM on Programming Languages, vol 4, iss HOPL (2020)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Discovery of Deep Structure from Unlabeled Data
|
|
|
|
In: DTIC (2014)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Review of: Linguistics and the formal sciences: The origins of generative grammar, by Marcus Tomalin
|
|
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Generalized Aliasing as a Basis for Program Analysis Tools
|
|
|
|
In: DTIC (2000)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Primitive Recursion for Higher Order Abstract Syntax
|
|
|
|
In: DTIC AND NTIS (1996)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Global Optimization of Digital Circuits.
|
|
|
|
In: DTIC AND NTIS (1991)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Integrating Syntax, Semantics, and Discourse DARPA Natural Language Understanding Program
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
The Linguistic Discourse Model: Towards a Formal Theory of Discourse Structure.
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A Recursive Linear Predictive Vocoder.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Theory of Compiler Specification and Verification.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
A Theorem-Prover for Recursive Functions: A User's Manual.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
A Proof of the Correctness of a Simple Parser of Expressions by the Boyer-Moore System.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
A Concise Extensible Metalanguage for Translator Implementation
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
A Concise Extensible Metalanguage for Translator Implementation.
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
On the Complexity of Finite, Pushdown, and Stack Automata.
|
|
|
|
In: DTIC AND NTIS (1975)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Grammatical Inference by Heuristic Search.
|
|
|
|
In: DTIC AND NTIS (1974)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Some Results on Maximal and Minimal Formal Languages.
|
|
|
|
In: DTIC AND NTIS (1974)
|
|
BASE
|
|
Show details
|
|
|
| 20 |
Operational and Mathematical Semantics for Recursive Polyadic Program Schemata (Extended Abstract)
|
|
|
|
In: DTIC AND NTIS (1973)
|
|
BASE
|
|
Show details
|
|
|
|
|
