Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tbillc/tbillc2013.bht:"
download as .bib file
@proceedings{DBLP:conf/tbillc/2013,
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46906-4},
doi = {10.1007/978-3-662-46906-4},
isbn = {978-3-662-46905-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Aher13,
author = {Martin Aher},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Deontic Conflicts and Multiple Violations},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {18--43},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_3},
doi = {10.1007/978-3-662-46906-4\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Aher13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Altshuler13,
author = {Daniel Altshuler},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Research on Aspect: Reflections and New Frontiers},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {1--9},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_1},
doi = {10.1007/978-3-662-46906-4\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Altshuler13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/BalbianiG13,
author = {Philippe Balbiani and
{\c{C}}igdem Gencer},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Admissibility and Unifiability in Contact Logics},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {44--60},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_4},
doi = {10.1007/978-3-662-46906-4\_4},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/BalbianiG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Balogh13,
author = {Kata Balogh},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {{F-LTAG} Semantics for Issues Around Focusing},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {61--81},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_5},
doi = {10.1007/978-3-662-46906-4\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Balogh13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/BeridzeLN13,
author = {Marina Beridze and
Liana Lortkipanidze and
David Nadaraia},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Dialect Dictionaries in the Georgian Dialect Corpus},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {82--96},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_6},
doi = {10.1007/978-3-662-46906-4\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/BeridzeLN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/BezhanishviliCG13,
author = {Nick Bezhanishvili and
Dion Coumans and
Samuel J. van Gool and
Dick de Jongh},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Duality and Universal Models for the Meet-Implication Fragment of
{IPC}},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {97--116},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_7},
doi = {10.1007/978-3-662-46906-4\_7},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/BezhanishviliCG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/DunchevLRW13,
author = {Cvetan Dunchev and
Alexander Leitsch and
Mikheil Rukhaia and
Daniel Weller},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Cut-Elimination and Proof Schemata},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {117--136},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_8},
doi = {10.1007/978-3-662-46906-4\_8},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/DunchevLRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/GroenendijkR13,
author = {Jeroen Groenendijk and
Floris Roelofsen},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Towards a Suppositional Inquisitive Semantics},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {137--156},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_9},
doi = {10.1007/978-3-662-46906-4\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/GroenendijkR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Henk13,
author = {Paula Henk},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Kripke Models Built from Models of Arithmetic},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {157--174},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_10},
doi = {10.1007/978-3-662-46906-4\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Henk13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Iemhoff13,
author = {Rosalie Iemhoff},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Tutorial on Admissible Rules in Gudauri},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {10--17},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_2},
doi = {10.1007/978-3-662-46906-4\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Iemhoff13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/JonghZ13,
author = {Dick de Jongh and
Zhiguang Zhao},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Positive Formulas in Intuitionistic and Minimal Logic},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {175--189},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_11},
doi = {10.1007/978-3-662-46906-4\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/JonghZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/MarMC13,
author = {Gary Mar and
Yuliya Manyakina and
Amanda Caffary},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Unless and Until: {A} Compositional Analysis},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {190--209},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_12},
doi = {10.1007/978-3-662-46906-4\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/MarMC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/NaumannP13,
author = {Ralf Naumann and
Wiebke Petersen},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Frame Theory, Dependence Logic and Strategies},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {210--233},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_13},
doi = {10.1007/978-3-662-46906-4\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/NaumannP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Ortmann13,
author = {Albert Ortmann},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Uniqueness and Possession: Typological Evidence for Type Shifts in
Nominal Determination},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {234--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_14},
doi = {10.1007/978-3-662-46906-4\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Ortmann13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/SanoM13,
author = {Katsuhiko Sano and
Minghui Ma},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Alternative Semantics for Visser's Propositional Logics},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {257--275},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_15},
doi = {10.1007/978-3-662-46906-4\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/SanoM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Sassoon13,
author = {Galit Weidman Sassoon},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Between-Noun Comparisons},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {276--289},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_16},
doi = {10.1007/978-3-662-46906-4\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Sassoon13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/Schwabe13,
author = {Kerstin Schwabe},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {On the Licensing of Argument Conditionals},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {290--309},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_17},
doi = {10.1007/978-3-662-46906-4\_17},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/Schwabe13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tbillc/ZinovaF13,
author = {Yulia Zinova and
Hana Filip},
editor = {Martin Aher and
Daniel Hole and
Emil Jer{\'{a}}bek and
Clemens Kupke},
title = {Biaspectual Verbs: {A} Marginal Category?},
booktitle = {Logic, Language, and Computation - 10th International Tbilisi Symposium
on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia,
September 23-27, 2013. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8984},
pages = {310--332},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-662-46906-4\_18},
doi = {10.1007/978-3-662-46906-4\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tbillc/ZinovaF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-24 11:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
