Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "CoALP-Ty"( http://dblp.L3S.de/Venues/CoALP-Ty )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2016 (4) 2017 (1)
Publication types (Num. hits)
inproceedings(4) proceedings(1)
Venues (Conferences, Journals, ...)
CoALP-Ty(5)
Authors
Davide Ancona(2) Ekaterina Komendantskaya(2) Anton Setzer(1) Bashar Igried(1) Elena Zucca(1) Francesco Dagnino(1) John Power(1) Luca Franceschini(1) Yue Li 0021(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ekaterina Komendantskaya, John Power (eds.) Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. Search on Bibsonomy CoALP-Ty The full citation details ... 2017 DBLP  BibTeX  RDF
1Bashar Igried, Anton Setzer Trace and Stable Failures Semantics for CSP-Agda. Search on Bibsonomy CoALP-Ty The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yue Li 0021 Structural Resolution with Co-inductive Loop Detection. Search on Bibsonomy CoALP-Ty The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya Structural Resolution for Abstract Compilation of Object-Oriented Languages. Search on Bibsonomy CoALP-Ty The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Ancona, Francesco Dagnino, Elena Zucca Extending Coinductive Logic Programming with Co-Facts. Search on Bibsonomy CoALP-Ty The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license