Results
Found 2 publication records. Showing 2 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
100 | Changjing Wang, Jinyun Xue |
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. |
FAW |
2009 |
DBLP DOI BibTeX RDF |
High-trustworthy, Path problem, Generic algorithm, Formal derivation, Dioid |
27 | Chang-Jing Wang, Jin-Yun Xue |
Formal Derivation of a Generic Algorithmic Program for Solving a Class of Extremum Problems. |
SNPD |
2009 |
DBLP DOI BibTeX RDF |
formally deduce, extremum problem, generic algorithmic program, high-trustworthy, semiring |
Displaying result #1 - #2 of 2 (100 per page; Change: )
|