Sciweavers

CORR
2000
Springer

Transformation-Based Bottom-Up Computation of the Well-Founded Model

13 years 4 months ago
Transformation-Based Bottom-Up Computation of the Well-Founded Model
Stefan Brass, Jürgen Dix, Burkhard Freitag, U
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2000
Where CORR
Authors Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
Comments (0)