Results 1 - 20 of 40 for All Library Resources
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
The Dependency Triple Framework for Termination of Logic ProgramsLogic-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_4Digital Resources/Online E-Resources |
| 2 |
Material Type: Web Resources
|
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsDigital Resources/Online E-Resources |
| 3 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programsLogic Based Program Synthesis and Transformation, Pre-Proceedings, 2005, p.180-186Digital Resources/Online E-Resources |
| 4 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programsLecture Notes in Computer Science, 2005, Vol.3668, p.311-325 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 354029208X ;ISBN: 9783540292081 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 5 |
Material Type: Reports
|
|
Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2005Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationPreproceedings of the 16th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'06), 2006, p.188-196Digital Resources/Online E-Resources |
| 7 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysisWST 2006: Eighth International Workshop on Termination, 2006, p.7-11Digital Resources/Online E-Resources |
| 8 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationsLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2007, Vol.4407, p.210-+ [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 9 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphsPre-proceedings of LOPSTR07, 2007, p.12-26Digital Resources/Online E-Resources |
| 10 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency GraphsCW Reports, 2007, p.15-15Digital Resources/Online E-Resources |
| 11 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphsLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2008, Vol.4915, p.8-22 [Peer Reviewed Journal]ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349Digital Resources/Online E-Resources |
| 12 |
Material Type: Thesises (postgraduate)
|
|
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)Digital Resources/Online E-Resources |
| 13 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsCW Reports, 2009Digital Resources/Online E-Resources |
| 14 |
Material Type: Article
|
|
Polytool: polynomial interpretations as a basis for termination analysis of Logic programsarXiv.org, 2009-122009. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. ;http://arxiv.org/licenses/nonexclusive-distrib/1.0 ;EISSN: 2331-8422 ;DOI: 10.48550/arxiv.0912.4360Full text available |
| 15 |
Material Type: Article
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory 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/S1471068410000025Full text available |
| 16 |
Material Type: Article
|
|
Polynomial interpretations as a basis for termination analysis of logic programsTheory and practice of logic programming, 2011-01, Vol.11 (1), p.33 [Peer Reviewed Journal]ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
| 17 |
Material Type: Article
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programsTheory and Practice of Logic Programming, 2011-01, Vol.11 (1), p.33-63 [Peer Reviewed Journal]ISSN: 1471-0684 ;EISSN: 1475-3081Full text available |
| 18 |
Material Type: Article
|
|
Assessing sub-seafloor microbial activity by combined stable isotope probing with deuterated water and 13C-bicarbonateEnvironmental 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: 22498240Full text available |
| 19 |
Material Type: Article
|
|
Assessing sub‐seafloor microbial activity by combined stable isotope probing with deuterated water and 13 C‐bicarbonateEnvironmental 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.xFull text available |
| 20 |
Material Type: Article
|
|
A Combined Algorithm of Kalman Estimator and Guard Interval Optimization for Mobile WiMAXInternational journal of distributed systems and technologies, 2013-01, Vol.4 (1), p.16-28 [Peer Reviewed Journal]Copyright © 2013, IGI Global. Copying or distributing in print or electronic forms without written permission of IGI Global is prohibited. ;ISSN: 1947-3532 ;EISSN: 1947-3540 ;DOI: 10.4018/jdst.2013010102Digital Resources/Online E-Resources |
Results 1 - 20 of 40 for All Library Resources
Sorted by:
Sorted by:
Date-oldestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2007 (6)
- 2007 To 2009 (7)
- 2010 To 2012 (6)
- 2013 To 2019 (7)
- After 2019 (14)
-
More options
New Records
Resource Type
- Articles (25)
- Conference Proceedings (7)
- Reports (4)
- Web Resources (1)
- Patents (1)
- Thesises (postgraduate) (1)
- Book Chapters (1)
-
More options
Subject
- Science & Technology (15)
- Life Sciences & Biomedicine (9)
- Technology (5)
- Humans (5)
- Computer Science (4)
- Pregnancy (4)
- Female (4)
- General & Internal Medicine (4)
- Medicine, General & Internal (4)
- Computer Science, Software Engineering (3)
- Adult (3)
- Science & Technology - Other Topics (3)
- Vietnam (3)
- Environmental Sciences & Ecology (2)
- Environmental Sciences (2)
- Case Report (2)
- Hypertension (2)
- Computer Science, Theory & Methods (2)
- Algorithms (2)
- Associated Factors (2)
-
More options
Databases
- Lirias (KU Leuven Association) (12)
- ProQuest Central (11)
- DOAJ Directory of Open Access Journals (9)
- ROAD: Directory of Open Access Scholarly Resources (8)
- MEDLINE (7)
- PubMed Central (Open access) (7)
- Journals@Ovid Open Access Journal Collection Rolling (4)
- IngentaConnect website (2)
- Wolters Kluwer Open Health (2)
- Geneva Foundation Free Medical Journals at publisher websites (2)
- esp@cenet (1)
- Cambridge Wholly Gold Open Access Journals (1)
- arXiv.org (1)
- Europeana Collections (1)
- Free E- Journals (1)
- Public Library of Science (PLoS) Journals Open Access (1)
-
More options
Language
- English (39)
- Japanese (2)
- Dutch (1)
- German (1)
-
More options
Journal Title
- Aip Advances (1)
- Annals Of Medicine And Surgery (1)
- arXiv.org (1)
- Communications In Physics (4)
- Electronic Journal Of General Medicine (1)
- Environmental Microbiology (2)
- Environmental Science And Pollution Research (1)
- Environmental Science And Pollution Research International (1)
- Medicine (2)
- Theory And Practice Of Logic Programming (3)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||