Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book Chapter
|
Polytool: Proving Termination Automatically Based on Polynomial InterpretationsLogic-Based Program Synthesis and Transformation, p.210-218 [Peer Reviewed Journal]Springer Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 354071409X ;ISBN: 9783540714095 ;EISSN: 1611-3349 ;EISBN: 9783540714101 ;EISBN: 3540714103 ;DOI: 10.1007/978-3-540-71410-1_15Digital Resources/Online E-Resources |
|
2 |
Material Type: Book Chapter
|
Termination Analysis of Logic Programs Based on Dependency GraphsLogic-Based Program Synthesis and Transformation, p.8-22 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2008 ;ISSN: 0302-9743 ;ISBN: 3540787682 ;ISBN: 9783540787686 ;EISSN: 1611-3349 ;EISBN: 9783540787693 ;EISBN: 3540787690 ;DOI: 10.1007/978-3-540-78769-3_2Digital Resources/Online E-Resources |
|
3 |
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 |
|
4 |
Material Type: magazinearticle
|
Fees freedom sparks spatVietnam investment review, 2004-03ISSN: 1021-318X ;EISSN: 1607-3576Full text available |
|
5 |
Material Type: magazinearticle
|
Cost cuts to fuel boom in mobile sectorVietnam investment review, 2004-07ISSN: 1021-318X ;EISSN: 1607-3576Full text available |
|
6 |
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 |
|
7 |
Material Type: Book Chapter
|
Polynomial Interpretations as a Basis for Termination Analysis of Logic ProgramsLecture notes in computer science, 2005, p.311-325 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2005 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540292081 ;ISBN: 354029208X ;EISSN: 1611-3349 ;EISBN: 9783540319474 ;EISBN: 3540319476 ;DOI: 10.1007/11562931_24Digital Resources/Online E-Resources |
|
8 |
Material Type: Conference Proceeding
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 383200Digital Resources/Online E-Resources |
|
9 |
Material Type: Article
|
Police nab crafty steel thieves in building scamVietnam investment review, 2005-03 (699), p.18COPYRIGHT 2005 Vietnam Investment Review Ltd. ;ISSN: 1021-318X ;EISSN: 1607-3576Full text available |
|
10 |
Material Type: Article
|
Bride of SilenceVariety, 2005-03, Vol.398 (3), p.43COPYRIGHT 2005 Penske Business Media, LLC ;COPYRIGHT 2005 Penske Business Media, LLC ;Copyright Reed Business Information, a division of Reed Elsevier, Inc. Mar 7-Mar 13, 2005 ;ISSN: 0042-2738Full text available |
|
11 |
Material Type: Reports
|
Polynomial interpretations as a basis for termination analysis of logic programspublic 69540Digital Resources/Online E-Resources |
|
12 |
Material Type: Conference Proceeding
|
Program specialisation as a preprocessing step for termination analysispublic 69544; 352615Digital Resources/Online E-Resources |
|
13 |
Material Type: Conference Proceeding
|
Polytool: Proving termination automatically based on polynomial interpretationpublic 69543Digital Resources/Online E-Resources |
|
14 |
Material Type: Conference Proceeding
|
Termination analysis of logic programs based on dependency graphspublic 69542Digital Resources/Online E-Resources |
|
15 |
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 |
|
16 |
Material Type: Newsletter Article
|
Results of men's 62kg at Asian Weightlifting ChampionshipsXinhua News Agency - CEIS, 2007, p.1Copyright Xinhua News Agency Apr 22, 2007Digital Resources/Online E-Resources |
|
17 |
Material Type: Reports
|
Termination Analysis of Logic Programs based on Dependency Graphspublic 69541Digital Resources/Online E-Resources |
|
18 |
Material Type: Newspaper Article
|
Exquisite portrait of Vietnam: ONT EditionToronto star, 2007-07-06Copyright (c) 2007 Toronto Star. All Rights Reserved. ;ISSN: 0319-0781Digital Resources/Online E-Resources |
|
19 |
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 |
|
20 |
Material Type: Thesises (postgraduate)
|
|