ON A PROBLEM OF TARSKI

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1960
Accession Number
AD0241159

Entities

People

  • J. R. Buchi

Organizations

  • University of Michigan

Tags

DTIC Thesaurus Topics

  • Automata
  • Automata Theory
  • Computers
  • Contracts
  • Government Procurement
  • Governments
  • Literature
  • Michigan
  • Military Research
  • New Jersey
  • Procurement
  • Sequences
  • Universities