A Three-Valued Semantics for Typed Logic Programming

AuthID
P-00R-C1K
3
Author(s)
10
Editor(es)
Bart Bogaerts 0001; Esra Erdem 0001; Paul Fodor; Andrea Formisano; Giovambattista Ianni; Daniela Inclezan; Germán Vidal; Alicia Villanueva; Marina De Vos; Fangkai Yang
Tipo de Documento
Proceedings Paper
Year published
2019
Publicado
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, Páginas: 36-51
Conference
35Th International Conference on Logic Programming (Technical Communications), Iclp 2019, Date: 20 September 2019 through 25 September 2019
Indexing
Publication Identifiers
Arxiv: 1909.08232
DBLP: journals/corr/abs-1909-08232
SCOPUS: 2-s2.0-85074760849
Source Identifiers
ISSN: 2075-2180
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.