-
1by Unknown“..."Terminal Moraine of Keewatin in Late Wis. 20 mi n of Whitehall Mont."...”
Published 1920
Get access
Still Image -
2Published 1915“... valley glacier, or beneath the edge of an ice sheet, is a terminal moraine. At each halt of the receding...”
Get access
Still Image -
3by Johannes Waldmann“...Abstract. We extend the matrix method for proving termination of string rewriting: we use matrices...”
Published 2007
Get access
Get access
Text -
4“... and under, who were referred for therapeutic termination of pregnancy during the year 1976. Although...”
Get access
Get access
Article in Journal/Newspaper -
5by Palacios, David, Hughes, Philip, Sanchez Goñi, Maria Fernanda, García Ruiz, Jose Maria, Andrés, NuriaSubjects: “...glacial termination...”
Published 2022
Get access
Get access
Book Part -
6by Cheng, Hai, Edwards, R. Lawrence, Broecker, Wallace S., Denton, George H., Kong, Xinggong, Wang, Yongjin, Zhang, Rong, Wang, Xianfeng“... from Sanbao Cave, China, for the three glacial terminations that occurred between 120,000 and 350,000...”
Published in Science (2009)
Get access
Get access
Article in Journal/Newspaper -
7by Denton, G. H., Anderson, R. F., Toggweiler, J. R., Edwards, R. L., Schaefer, J. M., Putnam, A. E.“... and ice sheet growth, followed by a termination—a period of rapid warming and ice sheet decay...”
Published in Science (2010)
Get access
Get access
Article in Journal/Newspaper -
8
-
9
-
10“...We introduce the arctic matrix method for automatically proving termination of term rewriting. We...”
Get access
-
11“...There are termination proofs that are produced by termination tools for which certifiers...”
Get access
Get access
Report -
12“...There are termination proofs that are produced by termination tools for which certifiers...”
Get access
Text -
13“...Abstract. We introduce the arctic matrix method for automatically proving termination of term...”
Get access
Get access
Text -
14“...We introduce the arctic matrix method for automatically proving termination of term rewriting. We...”
Get access
Get access
Other Non-Article Part of Journal/Newspaper -
15
-
16“...There are termination proofs that are produced by termination tools for which certifiers...”
Get access
Text -
17“... implementation of both issues based on rules, requires confluent and terminating behaviour of the rule set...”
Get access
Text -
18“...The development and termination of the Eemian interglacial is important because it may serve as a...”
Get access
Get access
Get access
Article in Journal/Newspaper -
19
-
20