Português help

You are in:: Start > Publications > View > Mechanically proving termination using polynomial interpretations.

Map of Premises

Publication

Publication Search

Mechanically proving termination using polynomial interpretations.

Title

Mechanically proving termination using polynomial interpretations.Export publication in the APA format Export publication in the EXCEL format Export publication in the RIS format

Type

Technical Report

Date

2004

Title

Mechanically proving termination using polynomial interpretations.

Type

Technical Report

Year

2004

Authors

Evelyne Contejean

(Author)

Other

The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID

Claude Marché

(Author)

Other

The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID

Ana Paula Tomás

(Author)

FCUP

View Personal Page You do not have permissions to view the institutional email. Search for Participant Publications View Authenticus page Without ORCID

Xavier Urbain

(Author)

Other

The person does not belong to the institution. The person does not belong to the institution. The person does not belong to the institution. Without AUTHENTICUS Without ORCID

Scientific classification

FOS: Natural sciences

Other information

Language: English

Type (Professor's evaluation): Scientific

Notes: Internal Report, LRI 1382

Reference: https://www.lri.fr/~bibli/Rapports-internes/2004/RR1382.pdf

No. of pages: 31

Documents

We could not find any documents associated to the publication.

Related Publications