[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Proving termination for term rewriting systems
- 作者Börger, Egon; Jäger, Gerhard; Kleine Büning, Hans; Richter, Michael M.
- 文件大小539.01KB
- 发表时间1992
- DOI10.1007/BFb0023786
- 页码419-428
Moroccan RifChoubert, G.; Faure-Muret, A. · Geological Society, London, Special Publications · 1974
Sedimentary provenance studiesHaughton, P. D. W.; Todd, S. P.; Morton, A. C. · Geological Society, London, Special Publications · 1991
Shale lamination and sedimentary processesO'Brien, N. R. · Geological Society, London, Special Publications · 1996
Mineralogy of sedimentary apatitesMcClellan, G. H.; Van Kauwenbergh, S. J. · Geological Society, London, Special Publications · 1990
Geo-mythology of IndiaChandrasekharam, D. · Geological Society, London, Special Publications · 2007
Permian tetrapod ichnofaciesHunt, A. P.; Lucas, S. G. · Geological Society, London, Special Publications · 2006
About this titleGeological Society, London, Special Publications · 2006
About this titleGeological Society, London, Special Publications · 2006