Algebraic Foundations in Computer Science Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement - Kuich, Werner; Rahonis, George; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Algebra -- Data processing; Artificial intelligence; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Software Engineering