Undecidability of Model Checking in Brane Logic

G Bacci, Marino Miculan
2008-01-01
Cite DOI
Type
Journal article
Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE

Related