Inproceedings,
On guarded simulations and acyclic first-order languages.
G. Fletcher, J. Hidders, S. Vansummeren, Y. Luo, F. Picalausa, and P. Bra.DBPL, (2011)
Meta data
- BibTeX key
- conf/dbpl/FletcherHVLPB11
- entry type
- inproceedings
- booktitle
- DBPL
- year
- 2011
- crossref
- conf/dbpl/2011
- ee
- http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-fletcher.pdf
- url
- http://dblp.uni-trier.de/db/conf/dbpl/dbpl2011.html#FletcherHVLPB11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dbpl/FletcherHVLPB11
%A Fletcher, George H. L.
%A Hidders, Jan
%A Vansummeren, Stijn
%A Luo, Yongming
%A Picalausa, François
%A Bra, Paul De
%B DBPL
%D 2011
%E Foster, Nate
%E Kementsietsidis, Anastasios
%K dblp
%T On guarded simulations and acyclic first-order languages.
%U http://dblp.uni-trier.de/db/conf/dbpl/dbpl2011.html#FletcherHVLPB11
@inproceedings{conf/dbpl/FletcherHVLPB11,
added-at = {2021-11-15T00:00:00.000+0100},
author = {Fletcher, George H. L. and Hidders, Jan and Vansummeren, Stijn and Luo, Yongming and Picalausa, François and Bra, Paul De},
biburl = {https://www.bibsonomy.org/bibtex/2c1fe077440a0dada47a4370b78026f64/dblp},
booktitle = {DBPL},
crossref = {conf/dbpl/2011},
editor = {Foster, Nate and Kementsietsidis, Anastasios},
ee = {http://www.cs.cornell.edu/conferences/dbpl2011/papers/dbpl11-fletcher.pdf},
interhash = {6f42070ba77b77293c8c39ba0ea1ed35},
intrahash = {c1fe077440a0dada47a4370b78026f64},
keywords = {dblp},
timestamp = {2024-04-10T10:00:48.000+0200},
title = {On guarded simulations and acyclic first-order languages.},
url = {http://dblp.uni-trier.de/db/conf/dbpl/dbpl2011.html#FletcherHVLPB11},
year = 2011
}