
Browse All Reviews
> General Term: Theory 








110 of 10850
Reviews with General Term: Theory

Date Reviewed 

Toward optimal selfadjusting heaps Elmasry A. ACM Transactions on Algorithms 13(4): 114, 2017. Type: Article A selfadjusting heap is a heap data structure “that does not [need to] explicitly maintain structural information”; instead, during each access or update operation, the heap is adjusted in a uniform way. Why is a selfadjusting heap, ...

Mar 19 2018 

Graph theory Diestel R., Springer International Publishing, New York, NY, 2017. 429 pp. Type: Book (9783662536216) Graph theory provides a very comprehensive description of different topics in graph theory. This book can definitely be counted as one of the classics in this subject. The highlight is its wide coverage of topics in graph theory, ranging fr...

Mar 16 2018 

A progression semantics for firstorder logic programs Zhou Y., Zhang Y. Artificial Intelligence 250 5879, 2017. Type: Article This paper looks at the relationship between classical logic and practical systems, which employ logicbased techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While Prolog can be considered...

Mar 9 2018 

Languages with membership determined by single letter factors Higgins P., Alwan S. Theoretical Computer Science 680 1524, 2017. Type: Article This paper continues a previous one [1] by the authors, Higgins and Alwan, expanding on the notion of scan languages that require a word to be read completely before determining whether the word belongs to the language. This applies to every word,...

Mar 8 2018 

The incomputable: journeys beyond the Turing barrier Cooper S., Soskova M., Springer International Publishing, New York, NY, 2017. 292 pp. Type: Book (9783319436678) Computer science is composed of two major areas. One is strongly related to engineering: the architecture and design of computing systems and the development of tools to employ such systems. The other is more related to scientific inquiry, althoug...

Mar 7 2018 

The undecidability of arbitrary arrow update logic van Ditmarsch H., van der Hoek W., Kuijer L. Theoretical Computer Science 693 112, 2017. Type: Article Arrow update logic is one instance of socalled dynamic epistemic logics. These are logical frameworks that allow for the modeling of change of knowledge or belief. In the special case of arrow update logics, one can in effect model that one agent...

Mar 7 2018 

Antimagic labeling of regular graphs Chang F., Liang Y., Pan Z., Zhu X. Journal of Graph Theory 82(4): 339349, 2016. Type: Article This paper consists of five interesting lemmas and a theorem on certain antimagic regular graphs. The wellwritten paper makes for absolutely delightful reading. It contains many newly introduced, wellexplained, wellillustrated notations and not...

Mar 1 2018 

Optimization and approximation Pedregal P., Springer International Publishing, New York, NY, 2017. 254 pp. Type: Book (9783319648422) Optimization problems are ubiquitous, and the term alone indicates that it is important. Mathematically, optimization refers to finding the largest or the smallest value that a function can take. For our everyday lives, this can range from simple ...

Feb 28 2018 

Nonregular unary language and parallel communicating WatsonCrick automata systems Chatterjee K., Ray K. Theoretical Computer Science 705 113117, 2018. Type: Article WatsonCrick finite automata have been introduced as a possible model of DNA computation. They differ from their classical counterpart in that they are capable of working on doublestranded sequences. The strands are processed by two independent h...

Feb 22 2018 

Game theory: a classical introduction, mathematical games, and the tournament McEachern A., Morgan & Claypool Publishers, San Rafael, CA, 2017. 118 pp. Type: Book (9781681731582) A good definition of the word “game” in the context of game theory is provided in this book:...

Feb 21 2018 





