Adding Closed World Assumptions To Well-Founded Semantics

AuthID
 P-001-KGS
3
Author(s)
APARICIO, JN
Document Type
Article
Year published
1994
Published
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 122, Issue: 1-2, Pages: 49-68 (20)
Conference
1992 International Conference on 5Th Generation Computer Systems ( Fgcs 92 ), Date: JUN 01-05, 1992, Location: TOKYO, JAPAN, Sponsors: INST NEW GENERAT COMP TECHNOL
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/52761
Google Scholar®
Publication Identifiers
Dblp: journals/tcs/PereiraAA94
Scopus: 2-s2.0-0028762211
Wos: WOS:A1994MQ11600003
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service