RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

Context & Sequence Matching for Unranked Terms

Packages 
Package Description
at.jku.risc.stout.urmc.algo  
at.jku.risc.stout.urmc.data
This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.urmc.data.atom
This package contains all the atomic types like Function, TermVar, HedgeVar.
at.jku.risc.stout.urmc.util