Author of the publication

Towards Logical Frameworks in the Heterogeneous Tool Set Hets

, , , , , and . Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, volume 7137 of Lecture Notes in Computer Science, page 139-159. Springer, (2012)

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.

 

Other publications of authors with the same name

A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory, , , , , , and . Intelligent Computer Mathematics, 7961, page 200--215. Springer, (2013)Auction Theory Toolbox, , , , , , and . (2015)Bipolar Weighted Argumentation Graphs, and . (2016)Extended Heterogeneous KR&R Framework for Concept Invention, , , , and . (2015)Generic Ontologies and Generic Ontology Design Patterns., and . WOP@ISWC, volume 2043 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Institutional 2-cells and Grothendieck Institutions.. Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 124-149. Springer, (2006)A Generic Complete Dynamic Logic for Reasoning about Purity and Effects, , and . Formal Aspects of Computing, 22 (3-4): 363-384 (2010)What is a Logic?, , , and . Logica Universalis, page 113-133. Birkhäuser, (2005)Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects, , and . CoRR, (2009)abs/0912.5533.Model-Driven Engineering in the Heterogeneous Tool Set, , and . 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings, volume 8941 of Lecture Notes in Computer Science, page 64-79. (2015)