X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
rsp1 (3) 3
dependent types (2) 2
index medicus (2) 2
program verification (2) 2
rsp (2) 2
secretion (2) 2
alcohol (1) 1
amino acid sequence (1) 1
animal experiment (1) 1
ara12 gene (1) 1
arabidopsis - enzymology (1) 1
arabidopsis - genetics (1) 1
arabidopsis thaliana (1) 1
article (1) 1
asp4 gene (1) 1
asp48 gene (1) 1
base sequence (1) 1
biochemical research methods (1) 1
biochemistry & molecular biology (1) 1
biotechnology & applied microbiology (1) 1
chemistry, applied (1) 1
cloning, molecular (1) 1
computer science, software engineering (1) 1
controlled study (1) 1
cucumisin (1) 1
dna, complementary (1) 1
electrospray mass spectrometry (1) 1
endoproteases (1) 1
esi-ms characterization (1) 1
farmakologi och toxikologi (1) 1
female (1) 1
food science & technology (1) 1
fungal proteins - chemistry (1) 1
fungal proteins - genetics (1) 1
genes, bacterial (1) 1
genes, plant (1) 1
glands (1) 1
glutamic acid rich protein cb (1) 1
glutamine (1) 1
grps (1) 1
hplc-esi ms (1) 1
hplc-esi-ms (1) 1
identification (1) 1
isoforms (1) 1
isoprenaline (1) 1
liquid chromatography-mass spectrometry (1) 1
male (1) 1
melon fruits (1) 1
molecular sequence data (1) 1
nonhuman (1) 1
oryza - enzymology (1) 1
oryza - genetics (1) 1
peptide (1) 1
pharmacology and toxicology (1) 1
plant proteins - chemistry (1) 1
plant proteins - genetics (1) 1
plant subtilase (1) 1
plants (1) 1
precursor (1) 1
priority journal (1) 1
products (1) 1
protein (1) 1
protein degradation (1) 1
protein sorting signals - genetics (1) 1
proteome (1) 1
proteomics (1) 1
pyroglutamic acid (1) 1
qualitative analysis (1) 1
rat (1) 1
rat saliva (1) 1
rat salivary protein 1 (1) 1
rat strain (1) 1
recombinant proteins - chemistry (1) 1
reversed phase high performance liquid chromatography (1) 1
rice (1) 1
rich proteins (1) 1
rsp1 gene (1) 1
saliva (1) 1
saliva protein (1) 1
sardinian alcohol preferring rat (1) 1
sardinian alcohol-non preferring rats (1) 1
sardinian alcohol-preferring rats (1) 1
sequence (1) 1
sequence alignment (1) 1
sequence homology, amino acid (1) 1
serine protease (1) 1
serine proteinase (1) 1
smgc (1) 1
smr2 (1) 1
snp rats (1) 1
submandibular gland (1) 1
submandibular gland protein c (1) 1
submandibular rat protein 2 (1) 1
substrate (1) 1
subtilase (1) 1
subtilisin (1) 1
subtilisins - chemistry (1) 1
subtilisins - genetics (1) 1
tomato (1) 1
top-down bottom-up proteomics (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of Proteome Research, ISSN 1535-3893, 01/2018, Volume 17, Issue 1, pp. 455 - 469
Journal Article
Journal Article
Proceedings of the tenth ACM SIGPLAN international conference on functional programming, 09/2005, pp. 268 - 279
In this paper a language-based approach to functionally correct imperative programming is proposed. The approach is based on a programming language called... 
program verification | RSP1 | dependent types | RSP | Dependent types | Program verification
Conference Proceeding
ACM SIGPLAN Notices, ISSN 0362-1340, 2005, Volume 40, Issue 9, pp. 268 - 279
In this paper a language-based approach to functionally correct imperative programming is proposed. The approach is based on a Programming language called... 
Program Verification | RSP1 | Dependent Types | RSP | COMPUTER SCIENCE, SOFTWARE ENGINEERING | program verification | dependent types
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.