## Abstracts of Ph.D. Theses in Computer Science |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Common terms and phrases

algebraic algorithm analyzed application arbitrary arrays Automatic Data Processing automatic dictionary automaton Backus Normal Form basic behavior Boolean calculation Carnegie Institute Chapter characteristics code words computer program concepts considered construction core switching circuits decision procedure deductive system defined described developed digital computer discussed Domino Problem efficiency elements equivalence finite first-order predicate calculus flowchart formal functional systems given graph graph theory Harvard University Heuristic input Institute of Technology integers investigation linear logical magnetic core magnetic core switching Massachusetts Massachusetts Institute mathematical matrix methods multiplets nodes non-ohmic nondeterministic obtained operations output prefix codes presented production proof Proofchecker properties proposed propositional calculus questions RAG(n/m representation restricted rules Russian sample Section selection selenium semigroup sets of tapes shown specific storage switching functions switching networks symbol Syntactic Analysis synthesis systematic prefix codes techniques theorems thesis tion Turing Machine undecidable Variable-Length Codes variables