A Tool for Analysing Logics

Título: 
A Tool for Analysing Logics
Ano: 
2011
Idioma: 
Inglês
DOI: 
10.1016/j.entcs.2011.03.010
ISSN: 
15710661
Home: 
http://www.sciencedirect.com/science?_ob=PublicationURL&_tockey=%23TOC%2313109%232011%23997309999%233111772%23FLP%23&_cdi=13109&_pubType=J&_auth=y&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=c528e925f426cfa42a886165f571ab26