๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Termination of nondeterministic quantum programs

โœ Scribed by Li, Yangjia; Yu, Nengkun; Ying, Mingsheng

Book ID
121365012
Publisher
Springer-Verlag
Year
2013
Tongue
English
Weight
285 KB
Volume
51
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Termination of well-moded programs
Termination of well-moded programs
โœ S. Etalle; A. Bossi; N. Cocco ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 1001 KB

We study the termination properties of well-moded programs, and we show thz, t. under suitable conditions, for these programs there exists an algebraic characteriza zion -in the style of Apt and Pedreschi, Studies in pure prolog: termination, in: J.W. Lloyd ted.), Proceedings of the Simposium in Com