Iterating Transducers
Authors:
- 4 July 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 286-297
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Term Rewriting and All That1998
- On-the-fly analysis of systems with unbounded, lossy FIFO channelsLecture Notes in Computer Science, 1998
- Computer Aided VerificationLecture Notes in Computer Science, 1997
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- Three Partition Refinement AlgorithmsSIAM Journal on Computing, 1987
- Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research.1970