	Search		Browse		Templates		Query

[paper]

paperid	title	year	banks_node_id
conf/frocos/RasgaSSV02	Labelled Deduction over Algebras of Truth-Values.	2002	633018

Click here to go back to the BANKS homepage.

About BANKS - Help - People - Publications

IIT Bombay > CSE Department > Informatics Lab
Comments: {sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in