Iterating transducers (Q1858440): Difference between revisions

@@ Property / cites work @@
+Q4817539
@@ Property / cites work: Q4817539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804925
@@ Property / cites work: Q4804925 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings
+Normal rank
@@ Property / cites work @@
+CAAP '90. 15th colloquium on trees in algebra and programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846257
@@ Property / cites work: Q4846257 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535007
@@ Property / cites work: Q4535007 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Permutation rewriting and algorithmic verification
+Normal rank
@@ Property / cites work @@
+Mathematical foundations of computer science 1998. 23rd international symposium, MFCS '98. Brno, Czech Republic, August 24--28, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q4223065
@@ Property / cites work: Q4223065 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical computer science. 5th GI-Conference, Karlsruhe, March 23--25, 1981
+Normal rank
@@ Property / cites work @@
+CAV '94, Computer aided verification. 6th International Conference, Stanford, CA, USA, June 21--23, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+On Relations Defined by Generalized Finite Automata
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 12th international conference, CAV 2000. Chicago, IL, USA, July 15--19, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Efficient algorithms for pre* and post* on interprocedural parallel flow graphs
+Normal rank
@@ Property / cites work @@
+An implementation of an efficient algorithm for bisimulation equivalence
+Normal rank
@@ Property / cites work @@
+Q4223067
@@ Property / cites work: Q4223067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474215
@@ Property / cites work: Q4474215 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847003
@@ Property / cites work: Q4847003 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 -- April 2, 2000. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4037383
@@ Property / cites work: Q4037383 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 11th international conference, CAV '99. Trento, Italy, July 6--10, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Automata, languages and programming. 28th international colloquium, ICALP 2001, Crete, Greece, July 8--12, 2001. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4518896
@@ Property / cites work: Q4518896 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251913
@@ Property / cites work: Q4251913 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. II: Timing-based systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Transductions des langages de Chomsky
@@ Property / cites work: Transductions des langages de Chomsky / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754094
@@ Property / cites work: Q2754094 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR '98. Concurrency theory. 9th international conference, Nice, France, September 8--11, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Sur les rélations rationnelles entre monoides libres
+Normal rank
@@ Property / cites work @@
+Regular Model Checking using Widening Techniques
@@ Property / cites work: Regular Model Checking using Widening Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated a-NGSM maps and Γ systems
@@ Property / cites work: Iterated a-NGSM maps and Γ systems / rank @@
+Normal rank