A Three-Valued Semantics for Typed Logic Programming

AuthID
 P-00R-C1K
3
Author(s)
10
Editor(s)
Bart Bogaerts 0001; Esra Erdem 0001; Paul Fodor; Andrea Formisano; Giovambattista Ianni; Daniela Inclezan; Germán Vidal; Alicia Villanueva; Marina De Vos; Fangkai Yang
Document Type
Proceedings Paper
Year published
2019
Published
in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. in EPTCS, ISSN: 2075-2180
Volume: 306, Pages: 36-51
Conference
35Th International Conference on Logic Programming (Technical Communications), Iclp 2019, Date: 20 September 2019 through 25 September 2019
Indexing
Scopus®
Dblp®/en/publications/view/798771
Crossref®3
Arxiv®
Google Scholar®
Publication Identifiers
Arxiv: 1909.08232
Dblp: journals/corr/abs-1909-08232
Scopus: 2-s2.0-85074760849
Source Identifiers
ISSN: 2075-2180
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

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