Electronic Notes in Theoretical Computer Science,volume 58,issue 2  (01-2004)

Period of time： 2004年2期

Publisher： Elsevier

Founded in： 1995

Total resources： 23

ISSN： 1571-0661

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.

Electronic Notes in Theoretical Computer Science,volume 58,issue 2

Menu

A Pragmatic Approach to Reuse in Tactical Theorem Proving

By Schairer A., Autexier S., Hutter D. in (2004)

Electronic Notes in Theoretical Computer Science,volume 58,issue 2 , Vol. 58, Iss. 2, 2004-01 , pp. 1-14

Elsevier

Abstract Access to resources Recommend Favorite

Induction for termination with local strategies

By Fissore O., Gnaedig I., Kirchner H. in (2004)

Electronic Notes in Theoretical Computer Science,volume 58,issue 2 , Vol. 58, Iss. 2, 2004-01 , pp. 1-34

Elsevier

Abstract Access to resources Recommend Favorite

Mechanical Software Verification - High Level Control Aspects from a User's Perspective

By Goerigk W. in (2004)

Electronic Notes in Theoretical Computer Science,volume 58,issue 2 , Vol. 58, Iss. 2, 2004-01 , pp. 1-21

Elsevier

Abstract Access to resources Recommend Favorite

A Logic for Rewriting Strategies

By Kieburtz R.B. in (2004)

Electronic Notes in Theoretical Computer Science,volume 58,issue 2 , Vol. 58, Iss. 2, 2004-01 , pp. 1-17

Elsevier

Abstract Access to resources Recommend Favorite

Total 4 item(s)