TWiki> Mizar Web>RelationsAndGraphs (2002-07-18, JosefUrban)EditAttach

Suggestion: Interface between Relations and Graphs

It would be nice to have an easy transition between the notions and theorems written in MML for graphs and those written for Relations, RelStrs? or Posets. Or is there already something like that?

Article name:  
MML version:  
|

-- JosefUrban - 18 Jul 2002

Follow up

WebForm
TopicClassification MmlSuggestion
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2002-07-18 - 10:31:35 - JosefUrban
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback