Extensions of Scott’s Graph Model and Kleene’s Second Algebra

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 01, 2018
Source ID
10.1016/j.indag.2017.05.008

Entities

People

  • Jaap Van Oosten
  • Niels Voorneveld

Organizations

  • Air Force Materiel Command
  • Air Force Office of Scientific Research
  • United States Air Force