Relational and Algebraic Methods in Computer Science
-15%
portes grátis
Relational and Algebraic Methods in Computer Science
15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings
Kahl, Wolfram; Winter, Michael; Oliveira, Jose
Springer International Publishing AG
11/2015
395
Mole
Inglês
9783319247038
15 a 20 dias
6146
Descrição não disponível.
Theory of relation algebras and Kleene algebras.- Process algebras.- Fixed point calculi.- Idempotent semirings.- Quantales, allegories, and dynamic algebras.- Cylindric algebras.- Application in areas such as verification.-Analysis and development of programs and algorithms.- Algebraic approaches to logics of programs.- Modal and dynamic logics.- Interval and temporal logics.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Algebraic language theory;Automata theory;Database design and models;Formal languages;Logic and verification;Combinatorial optimization;Database theory;Discrete mathematics;Formal software verification;Kleene algebra;Modal logics;Optimization algorithms;Regular expressions;Relation algebra;Relational database model;Rough sets;Software fault;Symbolic and algebraic manipulation;Temporal logics;Type checking
Theory of relation algebras and Kleene algebras.- Process algebras.- Fixed point calculi.- Idempotent semirings.- Quantales, allegories, and dynamic algebras.- Cylindric algebras.- Application in areas such as verification.-Analysis and development of programs and algorithms.- Algebraic approaches to logics of programs.- Modal and dynamic logics.- Interval and temporal logics.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Algebraic language theory;Automata theory;Database design and models;Formal languages;Logic and verification;Combinatorial optimization;Database theory;Discrete mathematics;Formal software verification;Kleene algebra;Modal logics;Optimization algorithms;Regular expressions;Relation algebra;Relational database model;Rough sets;Software fault;Symbolic and algebraic manipulation;Temporal logics;Type checking
