( en | de | ru )

 

Disambiguation of "Mossakowski, Till"

Author of the publication

copydeleteadd this publication to your clipboard
Bipolar Weighted Argumentation Graphs

, and . (2016)

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.

Till Mossakowski

Konrad Mossakowski

Herbert Mossakowski

Gerhard Mossakowski

Dietrich Mossakowski

 

Other publications of authors with the same name

RESTful Encapsulation of OWL API., and . DATA, page 150-157. SciTePress, (2016)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)Heterogeneous Logical Environments for Distributed Specifications, and . WADT 2008, volume 5486 of Lecture Notes in Computer Science, page 266–289. Springer, (2009)Libraries, , and . CASL reference manual, volume 2960 of Lecture Notes in Computer Science, Springer; Berlin; http://www.springer.de, Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.(2004)On Teaching Logic and Algebraic Specification. Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, page 269-286. (2009)Algebraic-co-algebraic specification in CoCASL, , , and . Journal of Logic and Algebraic Programming, 67 (1-2): 146-197 (2006)Extends (Mossakowski et al. 2003).CASL Specifications of Qualitative Calculi, and . Conference on Spatial Information Theory, volume 3693 of Lecture Notes in Computer Science, page 200-217. Springer; Berlin, (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)