( en | de | ru )

 

Disambiguation of "Gorín, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Testing Provers on a Grid - Framework Description.

, , , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)

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)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)Testing Provers on a Grid - Framework Description., , , and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Model Checking Legal Documents., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 151-154. IOS Press, (2010)The Question of Expressiveness in the Generation of Referring Expressions, , and . CoRR, (2010)Integrated program verification tools in education., , and . Softw. Pract. Exp., 43 (4): 403-418 (2013)Unsorted Functional Translations., and . M4M/LAMAS, volume 278 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2011)Extending ALCQ with Bounded Self-Reference., and . Advances in Modal Logic, page 300-316. College Publications, (2012)Enforcing Structural Invariants Using Dynamic Frames., , and . TACAS, volume 6605 of Lecture Notes in Computer Science, page 65-80. Springer, (2011)