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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
Structural operational semantics for weak bisimulations [期刊论文]
Theoretical Computer Science, 1995-01-01, 卷号: 146, 期号: 1-2, 页码: 25-68
Bard Bloom
  |  
 
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
  |  
 

1

 

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