Initiality, induction, and computability
Algebraic methods in semantics
Algebraic specifications of computable and semicomputable data types
Theoretical Computer Science
Journal of Symbolic Computation
Simulation of turing machines by a left-linear rewrite rule
RTA-89 Proceedings of the 3rd international conference on Rewriting Techniques and Applications
Handbook of theoretical computer science (vol. B)
Final algebras, cosemicomputable algebras and degrees of unsolvability
Theoretical Computer Science
Handbook of logic in computer science (vol. 1)
Handbook of logic in computer science (vol. 2)
Handbook of logic in computer science (vol. 4)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Some definitions for algebraic data type specifications
ACM SIGPLAN Notices
Abstract computability and algebraic specification
ACM Transactions on Computational Logic (TOCL)
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Behavioral abstraction is hiding information
Theoretical Computer Science - Selected papers of CMCS'03
Equality of streams is a Π0 over 2-complete problem
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
The rational numbers as an abstract data type
Journal of the ACM (JACM)
Meadows and the equational specification of division
Theoretical Computer Science
Rule-based analysis of dimensional safety
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Elementary algebraic specifications of the rational function field
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.01 |