Searching for "Constructions and Predicates." – sorted by Relevance.
337 documents found, showing 1 through 10.
Next 10 →
-
An Algebraic Construction of Predicate Transformers
- …An Algebraic Construction of Predicate Transformers Paul Gardiner 1, Clare Martin 2 and Oege de…
- Cited by 17 (1 self) – Add To MetaCart
-
Relationships between constructive, predicative, and classical systems of analysis
- …Relationships between Constructive, Predicative and Classical Systems of Analysis Solomon Feferman…
- Cited by 1 (0 self) – Add To MetaCart
-
A Methodology for Constructing Predicate Transition Net Specifications
- … for Constructing Predicate Transition Net Specifications XUDONG HE Department of Computer Science, North Dakota…
- Cited by 6 (0 self) – Add To MetaCart
-
Constructing Predicate Mappings for Goal-Dependent Abstraction
- …Constructing Predicate Mappings for Goal-Dependent Abstraction Yoshiaki OKUBO and Makoto HARAGUCHI…
- Add To MetaCart
-
A Constructive and Predicative Model of Command-Response Interfaces
- …A constructive and predicative model of command-response interfaces Peter Hancock, etc. Version…
- Add To MetaCart
-
Predicate Construction in Higher-order Logic
- … University Electronic Press Linkoping, Sweden http://www.ep.liu.se/ea/cis/2001/nnn/ Predicate Construction…
- Cited by 1 (0 self) – Add To MetaCart
-
Decidability of Program Verification Can Be Achieved by Replacing the Equality Predicate
- … be achieved by replacing the equality predicate by the "constructive" one Mikhail Auguston Computer Science…
- Add To MetaCart
-
Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST
- …Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST Ieke Moerdijk…
- Cited by 18 (3 self) – Add To MetaCart
-
Constructibility and Decidability versus Domain Independence and Absoluteness
- …, predicativity, and computability. 1 Introduction: Absoluteness and Constructibility As is well-known, Church…
- Cited by 2 (2 self) – Add To MetaCart
-
Classification of Individuals with Complex Structure
- …) introduces a systematic way to construct predicates for use in induced definitions; and (iii) widens…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
