Journal of Automated Reasoning,volume 34,issue 2  (12-2014)

Period of time： 2014年2期

Publisher： Springer Publishing Company

Founded in： 1985

Total resources： 33

ISSN： 0168-7433

Subject： TP Automation Technology , Computer Technology

Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Journal of Automated Reasoning,volume 34,issue 2

Menu

Preface

By Giesl Jürgen,Kapur Deepak in (2005)

Journal of Automated Reasoning,volume 34,issue 2 , Vol. 34, Iss. 2, 2005-12 , pp. 103-104

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Termination of String Rewriting Proved Automatically

By Zantema H. in (2005)

Journal of Automated Reasoning,volume 34,issue 2 , Vol. 34, Iss. 2, 2005-12 , pp. 105-139

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Termination of Floating-Point Computations

By Serebrenik Alexander,Schreye Danny in (2005)

Journal of Automated Reasoning,volume 34,issue 2 , Vol. 34, Iss. 2, 2005-12 , pp. 141-177

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Verifying Termination and Reduction Properties about Higher-Order Logic Programs

By Pientka Brigitte in (2005)

Journal of Automated Reasoning,volume 34,issue 2 , Vol. 34, Iss. 2, 2005-12 , pp. 179-207

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)