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

Search Results

Help

Item hits: (Results 1-7 of 7)

Filters    
Items/Page:    Sort:
Hierarchical Data Flow Analysis for O-O Programs [期刊论文]
Journal of Object-Oriented Programming, 1994-01-01, 卷号: 7, 期号: 2, 页码: 36-46
Satish Subramanian; Wei-tek Tsai; Shekhar H. Kirani
  |  
 
Synchronous circuit verification by symbolic simulation: an illustration [会议论文]
Proceedings of the sixth MIT conference on Advanced research in VLSI, Boston, Massachusetts, United States, 1990
Derek L. Beatty; Randal E. Bryant; Carl-Johan H. Seger
  |  
 
Data refinement by calculation [期刊论文]
Acta Informatica, 1990-01-01, 卷号: 27, 期号: 6, 页码: 481 - 503
Carroll Morgan; P. H. B. Gardiner
  |  
 
On an installation of Buchberger's algorithm [期刊论文]
Journal of Symbolic Computation, 1988-01-01, 卷号: 6, 期号: 2-3, 页码: 275-286
Rüdiger Gebauer; H. Michael Möller
  |  
 
Embedding First Order Predicate Logic in Fragments of Intuitionistic Logic [期刊论文]
Journal of Symbolic Logic, 1976-01-01, 卷号: 41, 期号: 4, 页码: 705-718
M. H. Löb
  |  
 
Products of linear recurring sequences [期刊论文]
Journal of Algebra, 1973-01-01, 卷号: 27, 期号: 1, 页码: 147-157
Neal Zierler; W. H. Mills
  |  
 
A New Treatment of Bose-Chaudhuri Codes [期刊论文]
SIAM Journal on Applied Mathematics, 1961-01-01, 卷号: 9, 期号: 4, 页码: 654-669
H. F. Mattson; G. Solomon
  |  
 

1

 

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