Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 journals/corr/abs-2109-08298
%A Varanasi, Sarat Chandra
%A Mittal, Neeraj
%A Gupta, Gopal
%B ICLP Technical Communications
%D 2021
%E Formisano, Andrea
%E Liu, Yanhong Annie
%E Bogaerts, Bart
%E Brik, Alex
%E Dahl, Verónica
%E Dodaro, Carmine
%E Fodor, Paul
%E Pozzato, Gian Luca
%E Vennekens, Joost
%E Zhou, Neng-Fa
%K dblp
%P 219-233
%T Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs345.html#abs-2109-08298
%V 345
@inproceedings{journals/corr/abs-2109-08298,
added-at = {2022-10-26T00:00:00.000+0200},
author = {Varanasi, Sarat Chandra and Mittal, Neeraj and Gupta, Gopal},
biburl = {https://www.bibsonomy.org/bibtex/2c113705e89e651b94280cf96831dbba4/dblp},
booktitle = {ICLP Technical Communications},
crossref = {journals/corr/abs-2109-07914},
editor = {Formisano, Andrea and Liu, Yanhong Annie and Bogaerts, Bart and Brik, Alex and Dahl, Verónica and Dodaro, Carmine and Fodor, Paul and Pozzato, Gian Luca and Vennekens, Joost and Zhou, Neng-Fa},
ee = {https://arxiv.org/abs/2109.08298},
interhash = {bcc3a95848f3939d92faf56262e75291},
intrahash = {c113705e89e651b94280cf96831dbba4},
keywords = {dblp},
pages = {219-233},
series = {EPTCS},
timestamp = {2024-04-09T09:30:50.000+0200},
title = {Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs345.html#abs-2109-08298},
volume = 345,
year = 2021
}
