The complexity of CTBT verification. Taking noble gas monitoring as an example

, , , &
Complexity 14 (1):89-99 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/cplx.20228

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents.Fabian Schlotterbeck & Oliver Bott - 2013 - Journal of Logic, Language and Information 22 (4):363-390.
Verification (Bewahrung) in Martin Buber.Martin Kavka - 2012 - Journal of Jewish Thought and Philosophy 20 (1):71-98.
Program verification: the very idea.James H. Fetzer - 1988 - Communications of the Acm 31 (9):1048--1063.
The complexity of advice‐giving.Yair Neuman, Norbert Marwan & Danny Livshitz - 2009 - Complexity 15 (2):28-30.
Plato's 'noble' lie.D. Dombrowski - 1997 - History of Political Thought 18 (4):565-578.
Perbandingan komitmen berpacaran berdasarkan self-monitoring. Erny, Fransisca Iriani R. D. & Lianawati - 2010 - Phronesis (Misc) 7 (1).
Compositional verification of multi-agent systems in temporal multi-epistemic logic.Joeri Engelfriet, Catholijn M. Jonker & Jan Treur - 2002 - Journal of Logic, Language and Information 11 (2):195-225.
Monitoring Costs, Managerial Ethics and Corporate Governance: A Modeling Approach. [REVIEW]Lerong He & Shih-Jen Kathy Ho - 2011 - Journal of Business Ethics 99 (4):623 - 635.
B. “verification” of statements in psychiatry.P. H. Esser - 1956 - Synthese 10 (1):373-377.
Toward a formalism of modeling and simulation using model theory.Saikou Y. Diallo, Jose J. Padilla, Ross Gore, Heber Herencia-Zapana & Andreas Tolk - 2014 - Complexity 19 (3):56-63.
Animals show monitoring, but does monitoring imply awareness?Giuliana Mazzoni - 2003 - Behavioral and Brain Sciences 26 (3):349-350.
Monitoring ‘monitoring’ and evaluating ‘evaluation’: an ethical framework for monitoring and evaluation in public health: Table 1.Vijayaprasad Gopichandran & Anil Kumar Indira Krishna - 2013 - Journal of Medical Ethics 39 (1):31-35.
Interpreting tractable versus intractable reciprocal sentences.Oliver Bott, Fabian Schlotterbeck & Jakub Szymanik - forthcoming - In Proceedings of the International Conference on Computational Semantics.

Analytics

Added to PP
2013-11-21

Downloads
16 (#855,572)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andy Becker
University of Regina

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references