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/icla/icla2009.bht:"
download as .bib file
@inproceedings{DBLP:conf/icla/Benthem09,
author = {Johan van Benthem},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Decisions, Actions, and Games: {A} Logical Perspective},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {1--22},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_1},
doi = {10.1007/978-3-540-92701-3\_1},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/icla/Benthem09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/BerwangerP09,
author = {Dietmar Berwanger and
Sophie Pinchinat},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Game Quantification Patterns},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {116--130},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_8},
doi = {10.1007/978-3-540-92701-3\_8},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/BerwangerP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Genot09,
author = {Emmanuel J. Genot},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Extensive Questions},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {131--145},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_9},
doi = {10.1007/978-3-540-92701-3\_9},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Genot09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/GirardS09,
author = {Patrick Girard and
Jeremy Seligman},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {An Analytic Logic of Aggregation},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {146--161},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_10},
doi = {10.1007/978-3-540-92701-3\_10},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/GirardS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Gore09,
author = {Rajeev Gor{\'{e}}},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Machine Checking Proof Theory: An Application of Logic to Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {23--35},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_2},
doi = {10.1007/978-3-540-92701-3\_2},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Gore09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Gorisse09,
author = {Marie{-}H{\'{e}}l{\`{e}}ne Gorisse},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {The Art of Non-asserting: Dialogue with Nagarjuna},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {257--268},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_19},
doi = {10.1007/978-3-540-92701-3\_19},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Gorisse09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Hamkins09,
author = {Joel David Hamkins},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Some Second Order Set Theory},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {36--50},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_3},
doi = {10.1007/978-3-540-92701-3\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Hamkins09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/KenkirethR09,
author = {Benny George Kenkireth and
Samrith Ram},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Towards Decidability of Conjugacy of Pairs and Triples},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {224--231},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_16},
doi = {10.1007/978-3-540-92701-3\_16},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/KenkirethR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Khomskii09,
author = {Yurii Khomskii},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A General Setting for the Pointwise Investigation of Determinacy},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {185--195},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_13},
doi = {10.1007/978-3-540-92701-3\_13},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Khomskii09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/LandesPV09,
author = {J{\"{u}}rgen Landes and
Jeff B. Paris and
Alena Vencovsk{\'{a}}},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Instantial Relevance in Polyadic Inductive Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {162--169},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_11},
doi = {10.1007/978-3-540-92701-3\_11},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/LandesPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MahalakshmiG09,
author = {G. S. Mahalakshmi and
T. V. Geetha},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Formal Definitions of Reason Fallacies to Aid Defect Exploration in
Argument Gaming},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {243--256},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_18},
doi = {10.1007/978-3-540-92701-3\_18},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MahalakshmiG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/MahalakshmiGKKM09,
author = {G. S. Mahalakshmi and
T. V. Geetha and
Arun Kumar and
Dinesh Kumar and
S. Manikandan},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Gautama - Ontology Editor Based on Nyaya Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {232--242},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_17},
doi = {10.1007/978-3-540-92701-3\_17},
timestamp = {Fri, 06 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/MahalakshmiGKKM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Makowsky09,
author = {Johann A. Makowsky},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Connection Matrices for MSOL-Definable Structural Invariants},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {51--64},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_4},
doi = {10.1007/978-3-540-92701-3\_4},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Makowsky09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Maruyama09,
author = {Yoshihiro Maruyama},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {170--184},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_12},
doi = {10.1007/978-3-540-92701-3\_12},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Maruyama09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Parikh09,
author = {Rohit Parikh},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Knowledge, Games and Tales from the East},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {65--76},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_5},
doi = {10.1007/978-3-540-92701-3\_5},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Parikh09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/StephanM09,
author = {Igor St{\'{e}}phan and
Benoit Da Mota},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Unified Framework for Certificate and Compilation for {QBF}},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {210--223},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_15},
doi = {10.1007/978-3-540-92701-3\_15},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/StephanM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Turunen09,
author = {Esko Turunen},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Para Consistent Fuzzy Logic},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {77--88},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_6},
doi = {10.1007/978-3-540-92701-3\_6},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Turunen09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Vardi09,
author = {Moshe Y. Vardi},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {From Philosophical to Industrial Logics},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {89--115},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_7},
doi = {10.1007/978-3-540-92701-3\_7},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Vardi09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icla/Wang09,
author = {Yi Nicholas Wang},
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {A Two-Dimensional Hybrid Logic of Subset Spaces},
booktitle = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
pages = {196--209},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3\_14},
doi = {10.1007/978-3-540-92701-3\_14},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/Wang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icla/2009,
editor = {Ramaswamy Ramanujam and
Sundar Sarukkai},
title = {Logic and Its Applications, Third Indian Conference, {ICLA} 2009,
Chennai, India, January 7-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5378},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92701-3},
doi = {10.1007/978-3-540-92701-3},
isbn = {978-3-540-92700-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icla/2009.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-08-21 10:26 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:
