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

Passive neutron assay: Some theoretical results

โœ Scribed by S.B. Degweker; M. Srinivasan


Publisher
Elsevier Science
Year
1992
Tongue
English
Weight
1012 KB
Volume
19
Category
Article
ISSN
0306-4549

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


On die swell: Some theoretical results
โœ J.R.A. Pearson; R. Trottnow ๐Ÿ“‚ Article ๐Ÿ“… 1978 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 985 KB
On die swell: some theoretical results
โœ J.R.A. Pearson; R. Trottnow ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 40 KB
From Set-theoretic Coinduction to Coalge
โœ Marina Lenisa ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 241 KB

We investigate the relation between the set-theoretical description of coinduction based on Tarski Fixpoint Theorem, and the categorical description of coinduction based on coalgebras. In particular, we introduce set-theoretic generalizations of the coinduction proof principle, in the spirit of Miln