Burkhard Freitag

Identifiers

No identifiers captured yet.

Papers (1)

1. Transformation-Based Bottom-Up Computation of the Well-Founded Model cs.LO · 2000 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Juergen Dix 1 shared papers
• Stefan Brass 1 shared papers
• Ulrich Zukowski 1 shared papers