Algebra and Coalgebra in Computer Science
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers ...
اقرأ المزيد
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
اقرأ المزيد
Algebraic Biology
This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference ...
اقرأ المزيد
CONCUR 2006 - Concurrency Theory
This volume contains the proceedings of the 17th International Conference on Concurrency Theory (CONCUR) held in Bonn, Germany, ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
CONCUR 2007 – Concurrency Theory
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, ...
اقرأ المزيد
Database Theory - ICDT 2005
This volume collects the papers presented at the 10th International Conference on Database Theory, ICDT 2005, held during ...
اقرأ المزيد
Developments in Language Theory
Basic Notions of Reaction Systems -- A Kleene Theorem for a Class of Communicating Automata with Effective Algorithms -- Algebraic ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings
This book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
اقرأ المزيد
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
اقرأ المزيد
Implementation and Application of Automata (vol. # 3317)
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
اقرأ المزيد
Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
اقرأ المزيد
Implementation and Application of Functional Languages (vol. # 4015)
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
اقرأ المزيد
Language and Automata Theory and Applications : Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers
This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and ...
اقرأ المزيد
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
اقرأ المزيد
Processes, Terms and Cycles: Steps on the Road to Infinity
Dedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
اقرأ المزيد
Rewriting Techniques and Applications : 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings
The book covers current research on all aspects of rewriting including typical areas of interest such as applications, foundational ...
اقرأ المزيد
Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
اقرأ المزيد
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيد
