中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 41-45 of 45)

Items/Page:    Sort:
Additions and corrections to “Terminal coalgebras in well-founded set theory” [期刊论文]
Theoretical Computer Science, 1994-01-01, 卷号: 124, 期号: 1, 页码: 189-192
Michael Barr
  |  
 
Elementary transition systems [期刊论文]
Theoretical Computer Science, 1992-01-01, 卷号: 96, 期号: 1, 页码: 3 - 33
M. Nielsen; G. Rozenberg; P. S. Thiagarajan
  |  
 
From regular expressions to deterministic automata [期刊论文]
Theoretical Computer Science, 1986-01-01, 卷号: 48, 期号: 1, 页码: 117 - 126
G. Berry; R. Sethi
  |  
 
Fundamental properties of infinite trees [期刊论文]
Theoretical Computer Science, 1983-01-01, 卷号: 25, 期号: 2, 页码: 95-169
Bruno Courcelle
  |  
 
On equations for regular languages, finite automata, and sequential networks [期刊论文]
Theoretical Computer Science, 1980-01-01, 卷号: 10, 期号: 1, 页码: 19-35
J. A. Brzozowski; E. Leiss
  |  
 

previous 1 2 3 4 5

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace