Results 21 - 40 of 42 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 |
|---|---|---|---|
| 21 |
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 |
| 22 |
Material Type: Article
|
|
Polytool: Polynomial interpretations as a basis for termination analysis of logic programspublic 100499 ;ISSN: 1471-0684 ;ISSN: 1475-3081 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
| 23 |
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]Copyright © Cambridge University Press 2010 ;ISSN: 1471-0684 ;EISSN: 1475-3081 ;DOI: 10.1017/S1471068410000025Full text available |
| 24 |
Material Type: Article
|
|
Appearance of an ensemble solitary pulse train in transient backward stimulated Raman scatteringCommunications in physics, 2016-03, Vol.25 (3), p.275ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/25/3/6770Full text available |
| 25 |
Material Type: Article
|
|
Efficient Generation of Coherent Stokes Field in Hydrogen Gas-Filled Hollow Core Photonic Crystal FibresCommunications in physics, 2020-05, Vol.30 (2), p.143ISSN: 0868-3166 ;EISSN: 2815-5947 ;DOI: 10.15625/0868-3166/30/2/14460Full text available |
| 26 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationspublic 528675 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 9783540714095 ;ISBN: 354071409X ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
| 27 |
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 |
| 28 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 65589 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;EISSN: 1611-3349 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
| 29 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 528673 ;ISSN: 1611-3349 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
| 30 |
Material Type: Reports
|
|
Leiomyomatosis peritonealis dissemianata five years after laparoscopic uterine myomectomy: A case reportAnnals of medicine and surgery (2012), 2021, Vol.66, p.102377-102377ISSN: 2049-0801 ;EISSN: 2049-0801 ;DOI: 10.1016/j.amsu.2021.102377Full text available |
| 31 |
Material Type: Conference Proceeding
|
|
The Optical DisdrometerThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.28Digital Resources/Online E-Resources |
| 32 |
Material Type: Conference Proceeding
|
|
Device for measuring parameters of the meteorological precipitationThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.1Digital Resources/Online E-Resources |
| 33 |
Material Type: Conference Proceeding
|
|
Inter-Carrier Interference suppression combined with channel estimation for mobile OFDM systemThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.61Digital Resources/Online E-Resources |
| 34 |
Material Type: Thesises (postgraduate)
|
|
|
| 35 |
Material Type: Web Resources
|
|
Biogeochemical controls on carbon and sulfur cycling in Baltic Sea sedimentsDigital Resources/Online E-Resources |
| 36 |
Material Type: Conference Proceeding
|
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Digital Resources/Online E-Resources |
| 37 |
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 |
| 38 |
Material Type: Conference Proceeding
|
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Digital Resources/Online E-Resources |
| 39 |
Material Type: Conference Proceeding
|
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
| 40 |
Material Type: Conference Proceeding
|
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
Results 21 - 40 of 42 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 (6)
- 2007 To 2009 (7)
- 2010 To 2012 (6)
- 2013 To 2017 (9)
- After 2017 (14)
-
More options
New Records
Resource Type
- Articles (25)
- Conference Proceedings (10)
- Reports (4)
- Web Resources (1)
- Thesises (postgraduate) (1)
- Book Chapters (1)
-
More options
Subject
- Science & Technology (17)
- Life Sciences & Biomedicine (9)
- Technology (7)
- Computer Science (6)
- Humans (5)
- Computer Science, Software Engineering (4)
- Pregnancy (4)
- Female (4)
- Computer Science, Theory & Methods (4)
- Environmental Sciences & Ecology (3)
- Environmental Sciences (3)
- Termination Analysis (3)
- Polynomial Interpretations (3)
- General & Internal Medicine (3)
- Adult (3)
- Medicine, General & Internal (3)
- Science & Technology - Other Topics (3)
- Vietnam (3)
- Acceptability (2)
- Algorithms (2)
-
More options
Databases
- ProQuest Central (14)
- Lirias (KU Leuven Association) (12)
- DOAJ Directory of Open Access Journals (9)
- PubMed Central (7)
- ROAD: Directory of Open Access Scholarly Resources (7)
- MEDLINE (7)
- Journals@Ovid Open Access Journal Collection Rolling (4)
- Cambridge Open Access Journals (3)
- Wolters Kluwer Open Access (2)
- IngentaConnect Open Access (2)
- Freely Accessible Journals (2)
- arXiv.org (1)
- Europeana Collections (1)
- Free E- Journals (1)
- Public Library of Science (1)
-
More options
Journal Title
- Aip Advances (1)
- Annals Of Medicine And Surgery (1)
- arXiv.org (1)
- Communications In Physics (4)
- Environmental Microbiology (2)
- Environmental Science And Pollution Research (1)
- Environmental Science And Pollution Research International (1)
- Estuaries And Coasts (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 | ||