FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Bananas in space: extending fold and unfold to exponential types
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
On Hoare logic and Kleene algebra with tests
ACM Transactions on Computational Logic (TOCL)
Information and Computation
Forty years of formal power series in automata theory
A half-century of automata theory
On the Syntax, Semantics, and Implementation of a Graph-Based Computational Environment
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Semirings in operations research and computer science: more algebra
Fundamenta Informaticae
Theoretical Computer Science - Words, languages and combinatorics
Parameters And Parametrization In Specification, Using Distributive Categories
Fundamenta Informaticae
Hi-index | 0.00 |