Inria Saclay - �le-de-France Research Centre

View Statistics Email Alert RSS Feed

Details

Organization Name (de) Name der Organisation (de)
Inria Saclay - �le-de-France Research Centre
 
Country Land
France
 
Type of Organization Organisationstyp
Government
ROR ID
URL
 

OrgUnit's Publications


Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Girlando-2023-A decision procedure for IS4-vor.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz A decision procedure for IS4Inproceedings Konferenzbeitrag 31-Oct-2023
2Medeiros-2023-Going with the flow using immersive analytics to support li...-vor.pdf.jpgMedeiros, Marina ; Doujak, Eduard ; Haller, Franz Josef ; Königswieser, Constantin ; Schmidt, Johanna Going with the flow: using immersive analytics to support lifetime predictions of hydropower turbinesInproceedings Konferenzbeitrag 13-Oct-2023
3Girlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 and its decidabilityPresentation Vortrag27-Sep-2023
4Girlando-2023-Intuitionistic S4 is decidable-am.pdf.jpgGirlando, Marianna ; Kuznets, Roman ; Marin, Sonia ; Morales, Marianela ; Straßburger, Lutz Intuitionistic S4 is decidableInproceedings Konferenzbeitrag 2023
5Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicArticle Artikel Sep-2021
6Kuznets, Roman ; Marin, Sonia ; Straßburger, Lutz Justification logic for constructive modal logicBericht Report2017
7Hetzl, Stefan ; Strassburger, Lutz Herbrand-ConfluenceArtikel Article 2013