Analyzing restricted fragments of the theory of linear arithmetic

Document Details

Document Type
Pub Defense Publication
Publication Date
Sep 23, 2016
Source ID
10.1007/s10472-016-9525-7

Entities

People

  • K. Subramani
  • Pavlos Eirinakis
  • Piotr Wojciechowski

Organizations

  • European Social Fund Plus
  • National Science Foundation
  • United States Air Force