Birgit Heinz

According to our database¹, Birgit Heinz authored at least 3 papers between 1996 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Implementing Anti-Unification Modulo Equational Theory.

[BibT_eX]

[DOI]

CoRR, 2014

1996

Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung.

[BibT_eX]

[DOI]

PhD thesis, 1996

Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung.

[BibT_eX]

GMD-Bericht 261, Oldenbourg, ISBN: 978-3-486-23873-0, 1996