Chapter

Automata, Languages and Programming

Volume 52 of the series Lecture Notes in Computer Science pp 380-390

Date:

Simple programs and their decision problems

  • A. PnueliAffiliated withUniversity of Tel-Aviv
  • , G. SlutzkiAffiliated withUniversity of Tel-Aviv