Daniel Gorín
According to our database1,
Daniel Gorín
authored at least 26 papers
between 2004 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
4
5
6
7
8
1
1
1
4
1
2
3
2
6
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017
2014
Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies.
J. Comput. Syst. Sci., 2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
Proceedings of the Advances in Modal Logic 10, 2014
2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013
Proceedings of the Algebra and Coalgebra in Computer Science, 2013
2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Advances in Modal Logic 9, 2012
2011
Proceedings of the 7th Workshop on Methods for Modalities, 2011
Proceedings of the Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2011
Proceedings of the Logic, Language, Information and Computation, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Logical Aspects of Computational Linguistics, 2011
Proceedings of the 1st Workshop on Developing Tools as Plug-ins, 2011
2010
Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction).
J. Appl. Log., 2010
CoRR, 2010
Proceedings of the Legal Knowledge and Information Systems, 2010
Proceedings of the Advances in Modal Logic 8, 2010
2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
2004
Proceedings of the Logic for Programming, 2004