Assumption/guarantee specifications in linear-time temporal logic

By Jonsson B.   Yih-Kuen T.  

Theoretical Computer Science, Vol. 167, Iss. 1, 1996-10 ,pp. : 47-72

Elsevier

Access to resources Recommend Favorite

Computational indistinguishability: algorithms vs. circuits

By Goldreich O.   Meyer B.  

Theoretical Computer Science, Vol. 191, Iss. 1, 1998-01 ,pp. : 215-218

Elsevier

Access to resources Recommend Favorite

On interpretation of indistinguishability in the problem of interval estimation of unknown probability

By Gusev L.  

Automation and Remote Control, Vol. 71, Iss. 8, 2010-08 ,pp. : 1540-1549

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Indistinguishability operators in measurement theory, Part II: Construction of indistinguishability operators based on probability distributions

By Demi·rci· M.  

International Journal of General Systems, Vol. 32, Iss. 5, 2003-09 ,pp. : 431-458

Taylor & Francis Ltd

Access to resources Recommend Favorite

Indistinguishability operators in measurement theory, Part I: Conversions of indistinguishability operators with respect to scales

By Demirci M.  

International Journal of General Systems, Vol. 32, Iss. 5, 2003-09 ,pp. : 415-430

Taylor & Francis Ltd

Access to resources Recommend Favorite