On streams that are finitely red
From MaRDI portal
Publication:3166225
DOI10.2168/LMCS-8(4:4)2012zbMath1267.03058arXiv1210.1200MaRDI QIDQ3166225
Marc Bezem, Keiko Nakata, Tarmo Uustalu
Publication date: 22 October 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1210.1200
Related Items
Unnamed Item ⋮ Finiteness and rational sequences, constructively ⋮ Unnamed Item ⋮ A Decision Procedure for Regular Expression Equivalence in Type Theory
This page was built for publication: On streams that are finitely red