decidable

Also found in: Dictionary, Thesaurus, Legal, Idioms, Wikipedia.

decidable

Mentioned in ?

References in periodicals archive ?

1) the word problem for [kappa]-terms over V is decidable,

Factoriality and the Pin-Reutenauer procedure

The most fundamental questions about this theory are whether or not it is decidable and whether or not it is finitely axiomatizable.

A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups

Stasis theory, derived from Hemogenes and extended through Aristotle, aims to resolve the moment of crisis, to render the undecidable decidable, by isolating a specific point of similarity between the sides in terms of argumentative strategy.

To make a desert and call it peace: stasis and judgment in the MX missile debate

Richards calls Forster's "special preoccupation, almost obsession, with the continuance of life," his "half-mystical and inevitably vague survival theme" (1966, 18), emerges in the form of a kind of Symposium--esque dialogue, of a debate not yet decided and far from easily or straightforwardly decidable on the side of survival.

Queer fragments: ruination and sexuality in E.M. Forster

Authorizing does not mean authenticating, obviously: the issue of which version of the various lives is the truthful one remains un- decidable.

Roth's The Counterlife and the negotiation of reality and fiction

between the rules of the game and the moves made according to those rules); for Carnapians, the key distinction is between the pragmatic and conventional criteria which define a framework and the things which then become say able or decidable within that framework; etc.

Logical deviance and the constitutive a priori/La irregularidad logica y lo a priori constitutivo

These negative results for TA spurred a quest for study of expressive but still fully decidable formalisms.

Modelamiento y especificacion de sistemas distribuidos y temporizados

The current MISRA C:2012 adds support for C99, increases the number of decidable rules to allow better tool enforcement, includes detailed rationale for all rules, and offers guidance for automatically generated code.

LDRA MISRA C:2012 Seminar Demonstrates Plenty of Good Reasons to Upgrade

with logical indeterminate sentences, multiply decidable or undecided, pure and simple.

Truth-based formal norms

Standard reasoning in OWL-Lite and OWL-DL is decidable, which is a desirable feature at least for inference application developers.

Composite ontology-based medical diagnosis decision support system framework

instructs us that a text is not a sequence of words, of syntactic forms enunciating, communicating any single decidable meaning (or even constellation of meanings), [its] repudiation of meaningfulness is put in unmistakable terms.

'Listening at the threshold'--a reading of religion in some excerpts from three of Iris Murdoch's novels: Henry and Cato, Nuns and soldiers and The unicorn/'Listening at the threshold'--'n Lesing van godsdiens in 'n paar uittreksels uit drie van Iris Murdoch se boek romans: Henry and Cato, Nuns and soldiers and The unicorn

Since one is limited to assertions that are decidable at compile time, this idea could be characterized as a different implementation of static analysis; as such, it has limitations similar to static analysis using external tools.

A case study of performance degradation attributable to run-time bounds checks on C++ vector access

Full browser ?

CITE

Site: Follow: Share:

Open / Close