Publications

Data Type Inference for Logic Programming

AuthID
P-00V-9FE

Author(s)

Barbosa, J

Florido, M

Costa, VS

Editor(s)

DeAngelis,E;Vanhoof,W

Document Type

Proceedings Paper

Year published

2022

Published

in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 13290, Pages: 16-37 (22)

Conference

31St International Symposium on Logic-Based Program Synthesis and Transformation (Lopstr), Date: SEP 07-08, 2021, Location: Teachers House Tallinn, Tallinn, ESTONIA, Host: Teachers House Tallinn

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/894446

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-030-98869-2_2

Dblp: conf/lopstr/BarbosaFC21

Scopus: 2-s2.0-85127034848

Wos: WOS:000784654900002

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Data Type Inference for Logic Programming

Useful Links

Get Help

Federated Authentication (Click on the image)

Data Type Inference for Logic Programming

Useful Links

Get Help