File: description

package info (click to toggle)
coq-relation-algebra 1.7.11-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 912 kB
  • sloc: ml: 1,452; makefile: 53; sh: 20
file content (12 lines) | stat: -rw-r--r-- 629 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
 
Name: RelationAlgebra
Title: Relation Algebra, Kleene algegra, and KAT
Url: http://perso.ens-lyon.fr/damien.pous/ra/
Description: A modular library about relation algebra, from idempotent semirings to residuated Kleene allegories, including a decision tactic for Kleene algebra with Tests (KAT).
Keywords: relation algebra, Kleene algebra with tests, KAT, allegories, residuated structures, automata, regular expressions, matrices
Category: Mathematics/Algebra
Author: Damien Pous
Email: Damien.Pous@ens-lyon.fr
Homepage: http://perso.ens-lyon.fr/damien.pous/
Institution: CNRS, LIP - ENS Lyon - UMR 5668
Require: 
License: LGPL