Amanote Research
Register
Sign In
Paraconsistent Negation and Classical Negation in Computation Tree Logic
doi 10.5220/0002699504640469
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2010
Authors
Unknown
Publisher
SciTePress - Science and and Technology Publications