Results 41 - 47 of 47 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr 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 |
|---|---|---|---|
| 41 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Digital Resources/Online E-Resources |
| 42 |
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 |
| 43 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Digital Resources/Online E-Resources |
| 44 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
| 45 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
| 46 |
Material Type: Reports
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 86245Digital Resources/Online E-Resources |
| 47 |
Material Type: Reports
|
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital Resources/Online E-Resources |
Results 41 - 47 of 47 for All Library Resources
Sorted by:
Sorted by:
RelevanceOr 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 (7)
- 2007 To 2009 (9)
- 2010 To 2012 (6)
- 2013 To 2017 (9)
- After 2017 (16)
-
More options
Resource Type
- Articles (26)
- Conference Proceedings (10)
- Book Chapters (5)
- Reports (4)
- Web Resources (1)
- Thesises (postgraduate) (1)
-
More options
Subject
- Science & Technology (21)
- Life Sciences & Biomedicine (10)
- Technology (10)
- Computer Science (9)
- Computer Science, Theory & Methods (7)
- Computer Science, Software Engineering (5)
- Humans (5)
- Pregnancy (4)
- Female (4)
- Termination Analysis (4)
- Polynomial Interpretations (4)
- General & Internal Medicine (4)
- Medicine, General & Internal (4)
- Acceptability (3)
- Environmental Sciences & Ecology (3)
- Environmental Sciences (3)
- Adult (3)
- Science & Technology - Other Topics (3)
- Vietnam (3)
- Logic Programming (3)
-
More options
Databases
- ProQuest Central (15)
- Lirias (KU Leuven Association) (12)
- DOAJ Directory of Open Access Journals (9)
- ROAD (8)
- PubMed Central (7)
- MEDLINE (7)
- Journals@Ovid Open Access Journal Collection Rolling (4)
- Cambridge Wholly Gold Open Access Journals (3)
- Wolters Kluwer Open Access (2)
- IngentaConnect Open Access (2)
- Geneva Foundation Free Medical Journals at publisher websites (2)
- Open Access Journals (1)
- arXiv.org (1)
- Europeana Collections (1)
- Public Library of Science (PLoS) Journals Open Access (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 (2)
-
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 | ||