• search hit 5 of 143
Back to Result List

What is a (non-constructive) non-monotone logical system?

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Author:Philippe Besnard, Torsten SchaubORCiDGND
Document Type:Article
Year of first Publication:2000
Year of Completion:2000
Release Date:2017/03/24
Source:Theoretical computer science : the journal of the EATCS. - ISSN 0304-3975. - 238 (2000), 1/2, S. 489 - 494
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik