Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
Labelled Calculi for Lattice-Based Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 23-47, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qian Chen, Minghui Ma |
Modal Logic of Generalized Separated Topological Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 92-104, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jeny Jacob, Manoj Changat |
Segment Transit Function of the Induced Path Function of Graphs and Its First-Order Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 117-129, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | R. Ramanujam 0001 |
Big Ideas from Logic for Mathematics and Computing Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 79-91, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sandra Müller |
Determinacy Axioms and Large Cardinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 68-78, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mihir Kumar Chakraborty |
A Note on the Ontology of Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 1-10, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wu, Minghui Ma |
An Infinity of Intuitionistic Connexive Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 189-206, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Masiur Rahaman Sardar |
Quasi-Boolean Based Models in Rough Set Theory: A Case of Covering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 159-171, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mohua Banerjee, A. V. Sreejith (eds.) |
Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![Springer, 978-3-031-26688-1 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wu, Minghui Ma |
Relational Semantics for Normal Topological Quasi-Boolean Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 207-221, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shikha Singh 0007, Kamal Lodaya, Deepak Khemani |
Two Ways to Scare a Gruffalo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 48-67, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ineke van der Berg, Andrea De Domenico, Giuseppe Greco 0001, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere |
Labelled Calculi for the Logics of Rough Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 172-188, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bornali Paul, Sandip Paul |
Fuzzy Free Logic with Dual Domain Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 130-142, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fan He |
Multiple-Valued Semantics for Metric Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 105-116, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty |
Boolean Functional Synthesis: From Under the Hood of Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 11-22, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Manidipa Sanyal, Prabal Kumar Sen |
A New Dimension of Imperative Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings, pp. 143-158, 2023, Springer, 978-3-031-26688-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange |
Specifying Program Properties Using Modal Fixpoint Logics: A Survey of Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 42-51, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Md. Aquil Khan, Amaldev Manuel (eds.) |
Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![Springer, 978-3-662-58770-6 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Kr Singh, Raja Natarajan |
Towards a Constructive Formalization of Perfect Graph Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 183-194, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Lin 0002, Mihir Kumar Chakraborty |
The Finite Embeddability Property for Topological Quasi-Boolean Algebra 5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 30-41, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiko Sano, Minghui Ma |
Sequent Calculi for Normal Update Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 132-143, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
Logic Without Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 173-182, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ian Pratt-Hartmann |
Transitivity and Equivalence in Decidable Fragments of First-Order Logic: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 103-107, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani |
Unification in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 1-5, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nenad Savic, Thomas Studer |
Public Announcements for Epistemic Models and Hypertheories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 64-75, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tim French 0002, Andrew Gozzard, Mark Reynolds 0001 |
A Modal Aleatoric Calculus for Probabilistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 52-63, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Anantha Padmanabha, R. Ramanujam 0001 |
Propositional Modal Logic with Implicit Modal Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 6-17, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michal Tomasz Godziszewski, Rafal Urbaniak |
Infinite Liar in a (Modal) Finitistic Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 18-29, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Nakamura 0001 |
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 108-120, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Cieslinski |
Satisfaction Classes via Cut Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 121-131, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Abhisekh Sankaran |
Revisiting the Generalized Łoś-Tarski Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 76-88, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mike Prest |
Model Theory for Sheaves of Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 89-102, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jasine Babu, Karunakaran Murali Krishnan, Vineeth Paleri |
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 160-172, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Greco 0001, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis |
Logics for Rough Concept Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings, pp. 144-159, 2019, Springer, 978-3-662-58770-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Li, Yanjing Wang 0001 |
Achieving While Maintaining: - A Logic of Knowing How with Intermediate Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 154-167, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jeff B. Paris, Alena Vencovská |
Ancient Indian Logic and Analogy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 198-210, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Bakhtiari, Hans van Ditmarsch, Helle Hvid Hansen |
Neighbourhood Contingency Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 48-63, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Minghui Ma, Ahti-Veikko Pietarinen |
Peirce's Sequent Proofs of Distributivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 168-182, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong |
Automata, Logic and Games for the λ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 23-26, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Przemyslaw Andrzej Walega |
Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 224-238, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001 |
The Complexity of Finding Read-Once NAE-Resolution Refutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 64-76, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Natasha Dobrinen |
Ramsey Theory on Trees and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 19-22, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ramanathan S. Thinniyam |
Definability of Recursive Predicates in the Induced Subgraph Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 211-223, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sujata Ghosh, Sanjiva Prasad (eds.) |
Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![Springer, 978-3-662-54068-8 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan van Eijck, Malvin Gattinger, Yanjing Wang 0001 |
Knowing Values and Public Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 77-90, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Asher, Soumya Paul |
Conversation and Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 1-18, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Ojea Quintana |
On Semantic Gamification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 183-197, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Corey Fisher, Seth Fogarty, Moshe Y. Vardi |
Random Models for Evaluating Efficient Büchi Universality Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 91-105, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Didier Galmiche, Pierre Kimmel, David J. Pym |
A Substructural Epistemic Resource Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 106-122, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arun Kumar 0005, Mohua Banerjee |
A Semantic Analysis of Stone and Dual Stone Negations with Regularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 139-153, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zach |
Semantics and Proof Theory of the Epsilon Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 27-47, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Herman Geuvers, Tonny Hurkens |
Deriving Natural Deduction Rules from Truth Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings, pp. 123-138, 2017, Springer, 978-3-662-54068-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miika Hannula |
Hierarchies in Inclusion Logic with Lax Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 100-118, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Schimpf, Jan-Georg Smaus |
Büchi Automata Optimisations Formalised in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 158-169, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Steve Awodey |
Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 1-10, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alena Vencovská |
Extending Carnap's Continuum to Binary Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 207-217, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Soma Dutta, Benjamín R. C. Bedregal, Mihir K. Chakraborty |
Some Instances of Graded Consequence in the Context of Interval-Valued Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 74-87, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Minghui Ma, Katsuhiko Sano, François Schwarzentruber, Fernando R. Velázquez-Quesada |
Tableaux for Non-normal Public Announcement Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 132-145, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Prasanta S. Bandyopadhyay, R. Venkata Raghavan, Don Wallace Dcruz, Gordon Brittan Jr. |
Truths about Simpson's Paradox: Saving the Paradox from Falsity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 58-73, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jaron Schorr |
Nyāya's Logical Model for Ascertaining Sound Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 170-182, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sourav Tarafder |
Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 195-206, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot |
Logic-Automata Connections for Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 30-57, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mohua Banerjee, Shankara Narayanan Krishna (eds.) |
Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![Springer, 978-3-662-45823-5 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Paul Schweizer |
Negative Existentials and Non-denoting Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 183-194, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Md. Aquil Khan |
A Modal Logic for Non-deterministic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 119-131, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aránzazu San Ginés, Rohit Parikh |
A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 146-157, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yanjing Wang 0001 |
Representing Imperfect Information of Procedures with Hyper Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 218-231, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jie Fan 0001, Hans van Ditmarsch |
Neighborhood Contingency Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 88-99, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | J. Michael Dunn |
The Relevance of Relevance to Relevance Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings, pp. 11-29, 2015, Springer, 978-3-662-45823-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Indiscrete Models: Model Building and Model Checking over Linear Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 50-68, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Franco Parlamento, Flavio Previale |
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 161-172, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Otto 0001 |
Bisimulation and Coverings for Graphs and Hypergraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 5-16, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yì N. Wáng, Thomas Ågotnes |
Subset Space Public Announcement Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 245-257, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | S. P. Tiwari, Anupam K. Singh |
Fuzzy Preorder, Fuzzy Topology and Fuzzy Transition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 210-219, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Kramer 0001 |
Logic of Non-monotonic Interactive Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 173-184, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Soma Dutta, Sanjukta Basu, Mihir K. Chakraborty |
Many-Valued Logics, Fuzzy Logics and Graded Consequence: A Comparative Appraisal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 197-209, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Hans van Ditmarsch, Andrey Kudinov |
Subset Space Logic with Arbitrary Announcements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 233-244, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Radha Jagadeesan, Corin Pitcher, James Riely |
Noninterference for Intuitionist Necessity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 185-196, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Björn Lellmann, Dirk Pattinson |
Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 148-160, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adriane A. Rini |
The Birth of Proof: Modality and Deductive Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 34-49, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Lodaya (eds.) |
Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![Springer, 978-3-642-36038-1 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiko Sano, Satoshi Tojo |
Dynamic Epistemic Logic for Channel-Based Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 109-120, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
On Kripke's Puzzle about Time and Thought. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 121-126, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mirna Dzamonja |
Forcing Axioms, Finite Conditions and Some More. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 17-26, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gabriel Sandu |
Probabilistic IF Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 69-79, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
Constructive Decision Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 1-4, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Agi Kurucz |
A Note on Axiomatisations of Two-Dimensional Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 27-33, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joel David Hamkins, Benedikt Löwe |
Moving Up and Down in the Generic Multiverse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 139-147, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mai Ajspur, Valentin Goranko |
Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 80-96, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cezary Cieslinski |
Yablo Sequences in Truth Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 127-138, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ido Ben-Zvi, Yoram Moses |
Agent-Time Epistemics and Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 97-108, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fernando R. Velázquez-Quesada |
Public Announcements for Non-omniscient Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings, pp. 220-232, 2013, Springer, 978-3-642-36038-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohua Banerjee, Anil Seth (eds.) |
Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![Springer, 978-3-642-18025-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Priyedarshi Jetli |
The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 105-123, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doherty 0001, Tomasz P. Michalak, Jacek Sroka, Andrzej Szalas |
Contextual Coalitional Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 65-78, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jeff B. Paris, Alena Vencovská |
A Note on Nathanial's Invariance Principle in Polyadic Inductive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 137-146, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Denis I. Saveliev |
Ultrafilter Extensions of Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 162-177, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gärdenfors |
Semantics Based on Conceptual Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 1-11, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Md. Aquil Khan, Minghui Ma |
A Modal Logic for Multiple-Source Tolerance Approximation Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 124-136, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wolfgang Thomas |
Infinite Games and Uniformization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings, pp. 19-21, 2011, Springer, 978-3-642-18025-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|