Improved modular termination proofs using dependency pairs

René Thiemann*, Jürgen Giesl, Peter Schneider-Kamp

*Kontaktforfatter for dette arbejde

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fingeraftryk

Dyk ned i forskningsemnerne om 'Improved modular termination proofs using dependency pairs'. Sammen danner de et unikt fingeraftryk.

Matematik

Teknik og materialevidenskab