Cover von Type theory and term rewriting; 3 opens in new tab

Type theory and term rewriting; 3

special issue : S. 321 - 492
Search for this author
Year: 2000
Publisher: Oxford, Oxford University Press
Count: 3
Media group: SPECIAL ISSUE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Journals Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Search for this author
Year: 2000
Publisher: Oxford, Oxford University Press
opens in new tab
Search for this systematic
Search for this subject type
Volume: 10
Count: 3
Participating parties: Search for this character Kamareddine, Fairouz D.; Klop, Jan Willem
Media group: SPECIAL ISSUE