FCS 2007:
Las Vegas, Nevada, USAHamid R. Arabnia , Pei Li Zhou (Eds.):
Proceedings of the 2007 International Conference on Foundations of Computer Science, FCS 2007, June 25-28, 2007, Las Vegas, Nevada, USA.
CSREA Press 2007, ISBN 1-60132-049-3 Algorithms and Applications
export record as
dblp key:
export record as
dblp key:
Katsumi Wasaki ,
Ken-ichi Arai :
A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker.
10-16
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ying Jin :
Rule Update Algorithms for Active Rule Scheduling.
46-51
export record as
dblp key:
Yijie Han :
Maximum Flow with a Faster Way of Computing a Blocking Flow.
52-56
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Chekad Sarami :
A Mass Formula for Cyclic Self-Orthogonal Codes.
68-72
export record as
dblp key:
Chekad Sarami :
On Classification of Generalized Hadamard Matrices.
73-78
export record as
dblp key:
Kam Kong :
The Majority Rule and String-and-Spinner Implementation of Logic Gates.
79-81
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Graphs and Networks + Automata + Logic
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Ruzayn Quaddoura :
Linear Time Recognition Algorithms for Three Variants of Vertex Series Parallel Digraphs.
121-131
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Interesting Results, New Models, and Methodologies
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Shengyuan Wu :
Introduction to Multilevel Mark Coding Theory.
183-192
Workshop on Pansystems and Computer Science
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fang Liu ,
He Lin :
A New View of Difference and Identity Relation in Rough Sets Based on Pansystems Duality Transformation.
213-218
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yu Jiang ,
He Lin :
A Pansystems Extremum Algorithm for Attribute Reduction Based on Discernibility Matrix.
268-272
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Theoretical Foundations for Distributed and Concurrent Systems and Computations
export record as
dblp key:
Norman R. Howes :
Distributed System Architecture and Specification with TLB.
313-320
export record as
dblp key:
export record as
dblp key:
Late Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Masaki Murakami :
Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model.
369-
data released under the ODC-BY 1.0 license
