Symbolic Bisimulation using Tabled Constraint Logic Programming

Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh Verma

Abstract:

Bibtex Entry:

@inproceedings{MRRV:TAPD00,
author = {Madhavan Mukund and  C. R. Ramakrishnan and  I. V. Ramakrishnan and  Rakesh Verma},
title = {Symbolic Bisimulation using Tabled Constraint Logic Programming},
booktitle = {International Workshop on Tabulation in Parsing and Deduction ({TAPD})},
address = {Vigo, Spain},
month = {September},
year = {2000}
}

Full Paper: [pdf]

Home | Papers

C. R. Ramakrishnan
(cram@cs.sunysb.edu)