DMCA

linTAP: A Tableau Prover for Linear Logic (1999)

Cached

Download Links

by Fachgebiet Intellektik , Fachbereich Informatik , Technische Hochschule Darmstadt , Heiko Mantel , Heiko Mantel , Jens Otten , Jens Otten
Venue:International Conference TABLEAUX’99