( en | de | ru )

 

Disambiguation of "Gorín, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
On the Expressive Power of IF-Logic with Classical Negation.

, , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 135-145. Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Gorin

Arseniy Gorin

Monika Gorin

Jérôme Gorin

Peter Göring

 

Other publications of authors with the same name

Ordered Resolution with Selection for H(@)., and . LPAR, volume 3452 of Lecture Notes in Computer Science, page 125-141. Springer, (2004)Testing Provers on a Grid - Framework Description., , , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 396-402. Springer, (2014)Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics., and . Advances in Modal Logic, page 254-273. College Publications, (2014)Enforcing Structural Invariants Using Dynamic Frames., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 65-80. Springer, (2011)A Software Tool for Legal Drafting, , and . FLACOS, volume 68 of EPTCS, page 71-86. (2011)On the Expressive Power of IF-Logic with Classical Negation., , and . WoLLIC, volume 6642 of Lecture Notes in Computer Science, page 135-145. Springer, (2011)Reasoning with Bounded Self-reference Using Logical Interpreters., , and . Description Logics, volume 1014 of CEUR Workshop Proceedings, page 689-703. CEUR-WS.org, (2013)Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)., and . J. Appl. Log., 8 (4): 305-318 (2010)Ontological Modelling of a Psychiatric Clinical Practice Guideline., , , , , and . KI, volume 10505 of Lecture Notes in Computer Science, page 300-308. Springer, (2017)