Results for:
"
Heyting+algebra
" in Documents
- A statistician's comment on the above letter.
-
Rating:
Views: ()
Pages: ()
Uploaded: 1998-12-1
- The Completeness of Heyting First-order Logic
- Restricted to first-order formulas, the rules of inference in the Curry-Howard type theory are equivalent to those of first-order predicate logic as formalized by Heyting, with one exception: ?-elimin...
-
Rating:
Views: (1057)
Pages: ()
Uploaded: 13-05-09
- Synaptonemal complexes: structure and function.
- Synaptonemal complexes (SCs) are zipper-like structures which are assembled between homologous chromosomes during the prophase of the first meiotic division. Their assembly and disassembly correlate w...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1996-6-1
- Localisation of RAD50 and MRE11 in spermatocyte nuclei of mouse and ra...
- Synaptonemal complexes (SCs) are zipperlike structures that are assembled between homologous chromosomes during meiotic prophase. They consist of two axial elements (AEs) (one along each of the two ho...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2000-6-16
- Polarity of meiotic recombination in the bronze locus of maize.
-
Rating:
Views: ()
Pages: ()
Uploaded: 1998-6-27
- Cytological analysis of interference in mouse meiosis.
- In most eukaryotes, meiotic crossovers (COs) are non-randomly placed along the bivalents, such that the presence of a CO reduces the probability of additional COs nearby. This phenomenon, named CO int...
-
Rating:
Views: ()
Pages: ()
Uploaded: 2009-10-22
- Uniform Heyting arithmetic 2005 5 citations ? 0 self
- Abstract. We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HA u) that allows for the extraction of optimized programs from constructive and classical pr...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Organization of SCP1 protein molecules within synaptonemal complexes o...
- SCP1, a major protein component of synaptonemal complexes (SCs), is probably a constituent of the transverse filaments (TFs). The protein consists of three domains: a short, proline-rich N-terminal pa...
-
Rating:
Views: ()
Pages: ()
Uploaded: 1996-7-10