The WHILE Hierarchy of Program Schemes is Infinite

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

The WHILE Hierarchy of Program Schemes is Infinite

Can Adam AlbayrakCan Adam Albayrak,  Thomas NollThomas Noll
The WHILE Hierarchy of Program Schemes is Infinite


Can Adam Albayrak, Thomas Noll
The WHILE Hierarchy of Program Schemes is Infinite
In Maurice Nivat, eds., Proceedings of Foundations of Software Science and Computation Structures, 35-47, 1998. LNCS 1378, Springer
@inproceedings{ AlbayrakNoll98,
  author = {Can Adam {Albayrak} and Thomas {Noll}},
  booktitle = {Proceedings of Foundations of Software Science and Computation Structures},
  editor = {Maurice {Nivat}},
  pages = {35--47},
  publisher = {LNCS 1378, Springer},
  title = {The {WHILE} Hierarchy of Program Schemes is Infinite},
  year = {1998},
}