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