Inproceedings,
A Multi-type Calculus for Inquisitive Logic.
S. Frittella, G. Greco, A. Palmigiano, and F. Yang.WoLLIC, volume 9803 of Lecture Notes in Computer Science, page 215-233. Springer, (2016)
Meta data
- BibTeX key
- conf/wollic/FrittellaGPY16
- entry type
- inproceedings
- booktitle
- WoLLIC
- year
- 2016
- pages
- 215-233
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 9803
- crossref
- conf/wollic/2016
- ee
- https://doi.org/10.1007/978-3-662-52921-8_14
- isbn
- 978-3-662-52920-1
- url
- http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#FrittellaGPY16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/wollic/FrittellaGPY16
%A Frittella, Sabine
%A Greco, Giuseppe
%A Palmigiano, Alessandra
%A Yang, Fan
%B WoLLIC
%D 2016
%E Väänänen, Jouko A.
%E Hirvonen, Åsa
%E de Queiroz, Ruy J. G. B.
%I Springer
%K dblp
%P 215-233
%T A Multi-type Calculus for Inquisitive Logic.
%U http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#FrittellaGPY16
%V 9803
%@ 978-3-662-52920-1
@inproceedings{conf/wollic/FrittellaGPY16,
added-at = {2023-06-26T00:00:00.000+0200},
author = {Frittella, Sabine and Greco, Giuseppe and Palmigiano, Alessandra and Yang, Fan},
biburl = {https://www.bibsonomy.org/bibtex/2706d183490f4d9be36a68ae684f4e4be/dblp},
booktitle = {WoLLIC},
crossref = {conf/wollic/2016},
editor = {Väänänen, Jouko A. and Hirvonen, Åsa and de Queiroz, Ruy J. G. B.},
ee = {https://doi.org/10.1007/978-3-662-52921-8_14},
interhash = {4ebb17e96bab48d3039c5527eec620ab},
intrahash = {706d183490f4d9be36a68ae684f4e4be},
isbn = {978-3-662-52920-1},
keywords = {dblp},
pages = {215-233},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T19:24:57.000+0200},
title = {A Multi-type Calculus for Inquisitive Logic.},
url = {http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#FrittellaGPY16},
volume = 9803,
year = 2016
}