Termination Analysis by Dependency Pairs and Inductive Theorem Proving

Schneider-Kamp, P. (Foredragsholder)

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Periode6. aug. 2009
BegivenhedstitelInternational Conference on Automated Deduction (CADE '09)
BegivenhedstypeKonference
Konferencenummer22
PlaceringMontreal, Canada