Article,
A Denotational Semantics for Equilibrium Logic.
F. Aguado, P. Cabalar, D. Pearce, G. Pérez, and C. Vidal.CoRR, (2015)
Meta data
- BibTeX key
- journals/corr/AguadoCPPV15
- entry type
- article
- year
- 2015
- journal
- CoRR
- volume
- abs/1507.06915
- ee
- http://arxiv.org/abs/1507.06915
- url
- http://dblp.uni-trier.de/db/journals/corr/corr1507.html#AguadoCPPV15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/corr/AguadoCPPV15
%A Aguado, Felicidad
%A Cabalar, Pedro
%A Pearce, David
%A Pérez, Gilberto
%A Vidal, Concepción
%D 2015
%J CoRR
%K
%T A Denotational Semantics for Equilibrium Logic.
%U http://dblp.uni-trier.de/db/journals/corr/corr1507.html#AguadoCPPV15
%V abs/1507.06915
@article{journals/corr/AguadoCPPV15,
added-at = {2023-12-12T22:21:36.000+0100},
author = {Aguado, Felicidad and Cabalar, Pedro and Pearce, David and Pérez, Gilberto and Vidal, Concepción},
biburl = {https://www.bibsonomy.org/bibtex/2960e10e526f6b42d7a1741b42ff61aeb/admin},
ee = {http://arxiv.org/abs/1507.06915},
interhash = {49878efe94cd14d636d622a077d64684},
intrahash = {960e10e526f6b42d7a1741b42ff61aeb},
journal = {CoRR},
keywords = {},
timestamp = {2023-12-12T22:21:36.000+0100},
title = {A Denotational Semantics for Equilibrium Logic.},
url = {http://dblp.uni-trier.de/db/journals/corr/corr1507.html#AguadoCPPV15},
volume = {abs/1507.06915},
year = 2015
}