skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: creation date: 2011 To 2013 remove top level: Digital Resources/Online E-Resources remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article
Add to My Research

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and Practice of Logic Programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]

ISSN: 1471-0684 ;EISSN: 1475-3081

Full text available

2
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article
Add to My Research

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]

Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

3
Polynomial interpretations as a basis for termination analysis of logic programs
Material Type:
Article
Add to My Research

Polynomial interpretations as a basis for termination analysis of logic programs

Theory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Peer Reviewed Journal]

ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025

Full text available

4
Overexpression of Endogenous TIMP-2 Increases the Proliferation of BeWo Choriocarcinoma Cells Through the MAPK-Signaling Pathway
Material Type:
Article
Add to My Research

Overexpression of Endogenous TIMP-2 Increases the Proliferation of BeWo Choriocarcinoma Cells Through the MAPK-Signaling Pathway

Reproductive sciences (Thousand Oaks, Calif.), 2013-10, Vol.20 (10), p.1184-1192 [Peer Reviewed Journal]

The Author(s) 2013 ;Society for Reproductive Investigation 2013 ;ISSN: 1933-7191 ;EISSN: 1933-7205 ;DOI: 10.1177/1933719113477485 ;PMID: 23427184

Full text available

5
Assessing sub-seafloor microbial activity by combined stable isotope probing with deuterated water and 13C-bicarbonate
Material Type:
Article
Add to My Research

Assessing sub-seafloor microbial activity by combined stable isotope probing with deuterated water and 13C-bicarbonate

Environmental microbiology, 2012-06, Vol.14 (6), p.1517-1527 [Peer Reviewed Journal]

2012 Society for Applied Microbiology and Blackwell Publishing Ltd ;2012 Society for Applied Microbiology and Blackwell Publishing Ltd. ;ISSN: 1462-2912 ;EISSN: 1462-2920 ;DOI: 10.1111/j.1462-2920.2012.02739.x ;PMID: 22498240

Full text available

6
Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate
Material Type:
Article
Add to My Research

Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate

Environmental microbiology, 2012-06, Vol.14 (6), p.1517-1527 [Peer Reviewed Journal]

ISSN: 1462-2912 ;EISSN: 1462-2920 ;DOI: 10.1111/j.1462-2920.2012.02739.x

Full text available

Searching Remote Databases, Please Wait