Effiziente Entscheidungsverfahren zur E-Unifikation

Jörn Richts. Effiziente Entscheidungsverfahren zur E-Unifikation. PhD thesis, RWTH Aachen University, Germany, 2000. [doi]

@phdthesis{dnb-14233,
  title = {Effiziente Entscheidungsverfahren zur E-Unifikation},
  author = {Jörn Richts},
  year = {2000},
  url = {http://d-nb.info/959115471},
  researchr = {https://researchr.org/publication/dnb-14233},
  cites = {0},
  citedby = {0},
  school = {RWTH Aachen University, Germany},
}