Star Games and Hydras

The recursive path ordering is an established and crucial tool in term rewriting to prove termination. We revisit its presentation by means of some simple rules on trees (or corresponding terms) equipped with a 'star' as control symbol, signifying a command to make that tree (or term) smaller in the order being defined. This leads to star games that are very convenient for proving termination of many rewriting tasks. For instance, using already the simplest star game on finite unlabeled trees, we obtain a very direct proof of termination of the famous Hydra battle, direct in the sense that there is not the usual mention of ordinals. We also include an alternative road to setting up the star games, using a proof method of Buchholz, adapted by van Oostrom, resulting in a quantitative version of the star as control symbol. We conclude with a number of questions and future research directions

Hydra Battles and AC Termination

We present a new encoding of the Battle of Hercules and Hydra as a rewrite system with AC symbols. Unlike earlier term rewriting encodings, it faithfully models any strategy of Hercules to beat Hydra. To prove the termination of our encoding, we employ type introduction in connection with many-sorted semantic labeling for AC rewriting and AC-RPO

The Cowl - v.78 - n.8 - Oct 31, 2013

The Cowl - student newspaper of Providence College. Vol 78 - No. 8 - October 31, 2013. 24 pages

Assumption College Review: Vol. 2: no. 2 (1908: Nov.)

42 numbered pageshttps://scholar.uwindsor.ca/assumptioncollegereview/1006/thumbnail.jp

Heroji virtualnog svijeta

We live in a consumer society in which human existence is guided into a never-ending search for fun and pleasure. Global communication flows transport various folklore elements and in this process they gain new shapes and meanings. It is interesting to observe how folklore or mythological elements, in our case hero patterns, appear in computer technology, especially in computer games. The focus of this paper is on the quests of virtual and classical heroes. I will argue that folklore elements are reproduced in modern media such as computer games.Danas živimo u potrošačkom društvu u kojem je ljudsko postojanje vođeno nezaustavljivom potragom za zabavom i užitkom. Globalna kretanja doprinose širenju različitih folklornih elemenata i u tom procesu folklorni elementi dobivaju nove oblike i značenja. Zanimljivo je propitati načine na koje se folklorni ili mitološki elementi, u ovom slučaju herojski obrasci, pojavljuju u kompjuterskoj tehnologiji, posebice u kompjuterskim igrama. Članak je prvenstveno usmjeren na iskušenja virtualnih i klasičnih heroja. Autor će nastojati pokazati da se folklorni elementi pojavljuju i u modernim medijima kao što su kompjuterske igre

The Trail, 1928-02-03

https://soundideas.pugetsound.edu/thetrail_all/1248/thumbnail.jp

The Independent, Vol. 9, No. 22, March 13, 1969

The Independent was a student run newspaper created in 1960 at Newark State College, now Kean University. The proceeding title was The Reflector. The editor of this issue was Edward A. Esposito.https://digitalcommons.kean.edu/independent_1965-1969/1126/thumbnail.jp

The mountains are impure: the semantics of lexical plurality

This paper is concerned with the semantics of so-called plurals of extension, a class of lexical plurals such as mountains, cliffs, skies, Hebrides, and Pyrenees. While similar on the surface to regular plural nouns, they behave differently in certain regards, including their compatibility with determiners, interpretation in half of the N partitives and possibility to occur as weak definites. We will argue that plurals of extension denote predicates over impure atoms, predicting that theybehave as singulars from a semantic point of view and as plurals from a morphological point of view. The analysis will be extended to temporal plurals of extension and plural mass nouns