Next: Unifikation mit,:``-Notation Up: Integration von Sortenals ausgezeichnete Previous: References

Unifikation



Harold Boley & Victoria Hall (hall@dfki.uni-kl.de)