Journal of the ACM (JACM)
Concurrent transition system semantics of process networks
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Termination, deadlock, and divergence
Journal of the ACM (JACM)
Algebraic approaches to nondeterminism—an overview
ACM Computing Surveys (CSUR)
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation
Strongly non-circular attribute grammars and their recursive evaluation
SIGPLAN '84 Proceedings of the 1984 SIGPLAN symposium on Compiler construction
Une brève biographie scientifique de Maurice Nivat
Theoretical Computer Science
The evaluation of first-order substitution is monadic second-order compatible
Theoretical Computer Science
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
On Infinite Terms Having a Decidable Monadic Theory
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Adequacy for Algebraic Effects
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Some Applications of the Decidability of DPDA's Equivalence
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
The semantics of local storage, or what makes the free-list free?(Preliminary Report)
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
On combinatory complete sets of proper combinators
Journal of Functional Programming
A survey of semantic description frameworks for programming languages
ACM SIGPLAN Notices
Iterative vs. regular factor algebras
ACM SIGACT News
The category-theoretic solution of recursive program schemes
Theoretical Computer Science - Algebra and coalgebra in computer science
Algorithmic differentiation in Axiom
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
Softening up hard science: reply to newel1 and card
Human-Computer Interaction
Recognizable tree series with discounting
Acta Cybernetica
An action semantics based on two combinators
Semantics and algebraic specification
Semantics of higher-order recursion schemes
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Fundamenta Informaticae
Recursive Program Schemes and Context-Free Monads
Electronic Notes in Theoretical Computer Science (ENTCS)
Weighted muller tree automata and weighted logics
Journal of Automata, Languages and Combinatorics
Equational logic of recursive program schemes
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
The category theoretic solution of recursive program schemes
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Algebraic systems and pushdown automata
Algebraic Foundations in Computer Science
Algebraic synchronization trees and processes
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
ON SETS OF TERMS: A STUDY OF A GENERALISATION RELATION AND OF ITS ALGORITHMIC PROPERTIES
Fundamenta Informaticae
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Weighted Relational Models of Typed Lambda-Calculi
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |