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
|
|
|
|