Details of Link
 
 
TITLE
  Binary Tree Automata Library 
SUBTITLE
  A library for manipulating classical tree automata with binary trees 
DESCRIPTION
  Binary Tree Automata Library is a library for manipulating classical tree automata (see tata's book) with binary trees.
The library provides functions for membership, determinization, emptyness, boolean operation (union, intersection, complementation).
 
AUTHOR
  Emmanuel Filiot 
AUTHOR'S LINK
  mailto:filiot@grappa.univ-lille3.fr 
COAUTHOR
   
COAUTHOR'S LINK
   
CLASSIFICATION
  XML related software 
RELEASE
   
STABILITY
  unknown stability 
STABLE RELEASE
  1.0beta 
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
  3.06 
DEPENDS ON OPERATING SYSTEM
  Linux 
DEPENDS ON OTHER SOFTWARE
  Findlib 
INFO LINK
  http://www.grappa.univ-lille3.fr/~filiot/tata 
DOWNLOAD LINK
  http://www.grappa.univ-lille3.fr/~filiot/tata 
DATE OF LAST MODIFICATION
  9 Sep 2003 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]