Found: 7
Select item for more details and to access through your institution.
Soundness and principal contexts for a shallow polymorphic type system based on classical logic.
- Published in:
- Logic Journal of the IGPL, 2011, v. 19, n. 6, p. 848, doi. 10.1093/jigpal/jzq013
- By:
- Publication type:
- Article
Pandora: A Reasoning Toolbox using Natural Deduction Style.
- Published in:
- Logic Journal of the IGPL, 2007, v. 15, n. 4, p. 293, doi. 10.1093/jigpal/jzm020
- By:
- Publication type:
- Article
Automating deductive verification for weak-memory programs (extended version).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 709, doi. 10.1007/s10009-020-00559-y
- By:
- Publication type:
- Article
Important role of family physicians in reporting communicable diseases: Outbreak of hepatitis A in a kindergarten class.
- Published in:
- 2018
- By:
- Publication type:
- journal article
Paper-Based Vertical Flow Immunoassay for the Point-of-Care Multiplex Detection of Radiation Dosimetry Genes.
- Published in:
- Cytogenetic & Genome Research, 2024, v. 163, n. 3/4, p. 178, doi. 10.1159/000531702
- By:
- Publication type:
- Article
Clinical Needs Finding: Developing the Virtual Experience-A Case Study.
- Published in:
- 2013
- By:
- Publication type:
- Case Study
Examining patterns in medication documentation of trade and generic names in an academic family practice training centre.
- Published in:
- BMC Medical Education, 2017, v. 17, p. 1, doi. 10.1186/s12909-017-1015-z
- By:
- Publication type:
- Article