Media type: Book; Thesis Title: Termination and confluence properties of structured rewrite systems Contributor: Gramlich, Bernhard [Author] Published: 1996 Extent: 217 S.; graph. Darst Language: English RVK notation: ST 130 : Allgemeines Keywords: Termersetzungssystem Origination: University thesis: Kaiserslautern, Univ., Diss., 1996 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1997 8 011596 001 Item ID: 10427570 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order