Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
navigation [2008-05-15 14:47] jacnavigation [2008-05-15 14:49] jac
Line 4: Line 4:
   * [[implementations:pakcs | PAKCS]]     * [[implementations:pakcs | PAKCS]]  
   * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS]]     * [[http://www.informatik.uni-kiel.de/prog/mitarbeiter/bernd-brassel/projects/| KiCS]]  
-  * [[implementations:mcc | MCC]]+  * [[http://danae.uni-muenster.de/~lux/curry | MCC]]
  
 === Documentation === === Documentation ===
/srv/dokuwiki/currywiki/data/pages/navigation.txt · Last modified: 2024-04-15 18:17 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0