CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
Lire la suiteThis volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
Lire la suiteThis volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during ...
Lire la suiteBasic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lire la suiteThis volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
Lire la suiteThis volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lire la suiteThe 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Lire la suiteThis book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteDedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Lire la suiteThe book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
Lire la suiteThis volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Lire la suiteThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Lire la suite