Zum Inhalt springen

  3. Eriksson, Lars-Henrik [Sonstige Person, Familie und Körperschaft] ; ELP 2 1991 Stockholm

    Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27 - 29, 1991 ; proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin [u.a.]: Springer, 1992 ; Online-Ausg., Berlin [u.a.]: Springer, 2006

    Erschienen in: Lecture notes in computer science ; 59600

  4. Eriksson, Lars-Henrik [VerfasserIn] ; Lindsay, Peter Alexander [Sonstige Person, Familie und Körperschaft]

    FME 2002:Formal Methods—Getting IT Right : International Symposium of Formal Methods Europe Copenhagen, Denmark, July 22–24, 2002 Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2002

    Erschienen in: Lecture notes in computer science ; 2391

  5. Eriksson, Lars-Henrik [VerfasserIn] ; Hallnäs, Lars [Sonstige Person, Familie und Körperschaft]; Schroeder-Heister, Peter [Sonstige Person, Familie und Körperschaft]

    Extensions of Logic Programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 1992

    Erschienen in: Lecture notes in computer science ; 596

  6. Parrow, Joachim [VerfasserIn]; Borgström, Johannes [VerfasserIn]; Eriksson, Lars-Henrik [VerfasserIn]; Gutkovas, Ramunas [VerfasserIn]; Weber, Tjark [VerfasserIn] ; Joachim Parrow and Johannes Borgström and Lars-Henrik Eriksson and Ramunas Gutkovas and Tjark Weber [MitwirkendeR]

    Modal Logics for Nominal Transition Systems

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  7. Eriksson, Flintull Annica [VerfasserIn]; Karlsson, Annacarin [VerfasserIn]; Zetterberg, Lars [VerfasserIn]; Hrafnhildur Bragadóttir [VerfasserIn]; Bahr, Jenny von [VerfasserIn]; Rootzén, Johan [VerfasserIn]; Möllersten, Kenneth [VerfasserIn]; Kloo, Henrik [VerfasserIn]

    Use of economic instruments in Nordic environmental policy 2018-2021

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Copenhagen: The Nordic Council of Ministers, 16/6/2023

    Erschienen in: TemaNord ; 2023, 520

  13. Parrow, Joachim; Weber, Tjark; Borgström, Johannes; Eriksson, Lars-Henrik

    Formal Techniques for Distributed Objects, Components, and Systems: Weak Nominal Modal Logic

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2017

    Erschienen in: Formal Techniques for Distributed Objects, Components, and Systems

  15. Kirmeier, Eva [VerfasserIn]; Eriksson, Lars I. [VerfasserIn]; Lewald, Heidrun [VerfasserIn]; Jonsson Fagerlund, Malin [VerfasserIn]; Hoeft, Andreas [VerfasserIn]; Hollmann, Markus [VerfasserIn]; Meistelman, Claude [VerfasserIn]; Hunter, Jennifer M. [VerfasserIn]; Ulm, Kurt [VerfasserIn]; Blobner, Manfred [VerfasserIn]; Abad Gurumeta, Alfredo [VerfasserIn]; Abernethy, Caroline [VerfasserIn]; Abigail, Patrick [VerfasserIn]; Achaibar, Kira [VerfasserIn]; Adam, Emily [VerfasserIn]; Afshari, Arash [VerfasserIn]; Agudelo Montoya, M. Elizabeth [VerfasserIn]; Akgün, Fatma Nur [VerfasserIn]; Aletti, Gabriele [VerfasserIn]; Alkış, Neslihan [VerfasserIn]; Allan, Katie [VerfasserIn]; Allan, Ashley [VerfasserIn]; Allaouchiche, Bernard [VerfasserIn]; Allcock, Clare [VerfasserIn]; [...]

    Post-anaesthesia pulmonary complications after use of muscle relaxants (POPULAR): a multicentre, prospective observational study

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Elsevier, 2019