Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Private libraries --- Littmann, Enno, --- Library. --- East

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Private libraries --- Littman, Enno, --- Littmann, Enno, --- Library. --- East

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Ritual --- Rituel --- Rome --- Religion --- Religious life and customs --- Vie religieuse --- Cult --- Cultus --- Liturgies --- Public worship --- Symbolism --- Worship --- Rites and ceremonies --- Ritualism --- Rim --- Roman Empire --- Roman Republic (510-30 B.C.) --- Romi (Empire) --- Byzantine Empire --- Rome (Italy) --- Religion romaine

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods, and developments related to modal logics and lattices.

Algebraic logic --- Computer science. --- Algebra --- Logic design. --- Software engineering. --- Artificial intelligence. --- Computational complexity. --- Mathematical Logic and Formal Languages. --- Symbolic and Algebraic Manipulation. --- Logics and Meanings of Programs. --- Software Engineering. --- Artificial Intelligence. --- Discrete Mathematics in Computer Science. --- Data processing. --- Complexity, Computational --- Electronic data processing --- Machine theory --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Mathematical logic. --- Computer science—Mathematics. --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Machine theory. --- Discrete mathematics. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics