skip to main content
Language:
Search Limited to: Search Limited to: Resource type Show Results with: Show Results with: Search type Index
Refined by: List of all Versions 2010 To 2012 remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Assessing sub-seafloor microbial activity by combined stable isotope probing with deuterated water and 13C-bicarbonate
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

Citations Cited by
2
Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonate
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

Citations Cited by
3
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
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

Citations Cited by
4
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs
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

Citations Cited by
5
Polynomial interpretations as a basis for termination analysis of logic programs
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

Citations Cited by
6
The Dependency Triple Framework for Termination of Logic Programs
The Dependency Triple Framework for Termination of Logic Programs
Material Type:
Book Chapter 		Add to My Research

The Dependency Triple Framework for Termination of Logic Programs

Logic-Based Program Synthesis and Transformation, p.37-51 [Peer Reviewed Journal]

Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 3642125913 ;ISBN: 9783642125911 ;EISSN: 1611-3349 ;EISBN: 9783642125928 ;EISBN: 3642125921 ;DOI: 10.1007/978-3-642-12592-8_4

Digital Resources/Online E-Resources

Citations Cited by
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY (84-028) 37 755 057 Feedback
19 Nguyen Huu Tho St. Dist.7, HCM thuvien@tdtu.edu.vn

Copyright © 2017 INSPIRE LIBRARY - TON DUC THANG UNIVERSITY

Searching Remote Databases, Please Wait