Inproceedings,
Regular Path Clauses and Their Application in Solving Loops.
B. Kafle, J. Gallagher, M. Hermenegildo, M. Klemen, P. López-García, and J. Morales.HCVS@ETAPS, volume 344 of EPTCS, page 22-35. (2021)
Meta data
- BibTeX key
- journals/corr/abs-2109-04631
- entry type
- inproceedings
- booktitle
- HCVS@ETAPS
- year
- 2021
- pages
- 22-35
- series
- EPTCS
- volume
- 344
- crossref
- journals/corr/abs-2109-03988
- ee
- https://arxiv.org/abs/2109.04631
- url
- http://dblp.uni-trier.de/db/series/eptcs/eptcs344.html#abs-2109-04631
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 journals/corr/abs-2109-04631
%A Kafle, Bishoksan
%A Gallagher, John P.
%A Hermenegildo, Manuel V.
%A Klemen, Maximiliano
%A López-García, Pedro
%A Morales, José F.
%B HCVS@ETAPS
%D 2021
%E Hojjat, Hossein
%E Kafle, Bishoksan
%K dblp
%P 22-35
%T Regular Path Clauses and Their Application in Solving Loops.
%U http://dblp.uni-trier.de/db/series/eptcs/eptcs344.html#abs-2109-04631
%V 344
@inproceedings{journals/corr/abs-2109-04631,
added-at = {2024-05-07T00:00:00.000+0200},
author = {Kafle, Bishoksan and Gallagher, John P. and Hermenegildo, Manuel V. and Klemen, Maximiliano and López-García, Pedro and Morales, José F.},
biburl = {https://www.bibsonomy.org/bibtex/2ad753396d550993ec6b05b7ffe7c322b/dblp},
booktitle = {HCVS@ETAPS},
crossref = {journals/corr/abs-2109-03988},
editor = {Hojjat, Hossein and Kafle, Bishoksan},
ee = {https://arxiv.org/abs/2109.04631},
interhash = {0eab34fccdb038c71be9405dac0acdad},
intrahash = {ad753396d550993ec6b05b7ffe7c322b},
keywords = {dblp},
pages = {22-35},
series = {EPTCS},
timestamp = {2024-05-13T10:14:22.000+0200},
title = {Regular Path Clauses and Their Application in Solving Loops.},
url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs344.html#abs-2109-04631},
volume = 344,
year = 2021
}