Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
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
|
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 |
|
4 |
Material Type: Book Chapter
|
Influences of Trade Union Activities on Improving Labor Productivities in Enterprises: A Comparative StudyContemporary Economic Issues in Asian Countries: Proceeding of CEIAC 2022, Volume 2, 2023, p.359-387The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2023 ;ISBN: 9819904897 ;ISBN: 9789819904891 ;EISBN: 9789819904907 ;EISBN: 9819904900 ;DOI: 10.1007/978-981-99-0490-7_22 ;OCLC: 1385454398 ;LCCallNum: HC411-495Digital Resources/Online E-Resources |