Erratum to: Analyzing restricted fragments of the theory of linear arithmetic

Document Details

Document Type
Pub Defense Publication
Publication Date
Mar 03, 2017
Source ID
10.1007/s10472-017-9537-y

Entities

People

  • K. Subramani
  • Pavlos Eirinakis
  • Piotr Wojciechowski

Organizations

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