Exploring modal worlds

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: Journal of Logical and Algebraic Methods in Programming, 83, 2, S. 135-153

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg, Elsevier BV
(when)
2014
Creator
Dang, Han-Hing
Glück, Roland
Möller, Bernhard
Roocks, Patrick
Zelend, Andreas

DOI
10.1016/j.jlap.2014.02.004
URN
urn:nbn:de:bvb:384-opus4-587505
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:46 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Dang, Han-Hing
  • Glück, Roland
  • Möller, Bernhard
  • Roocks, Patrick
  • Zelend, Andreas
  • Universität Augsburg, Elsevier BV

Time of origin

  • 2014

Other Objects (12)