Anna Ingólfsdóttir

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Angelo Montanari

> Home > Persons > Anna Ingólfsdóttir

Publications

2016
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/AcetoMGIMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/AcetoMGIMS16
Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Acta Informatica 53(3): 207-246 (2016)
2014
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/AcetoMIMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/AcetoMIMS14
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. JELIA 2014: 267-281
2013
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/AcetoMIMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AcetoMIMS13
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. LPAR 2013: 1-17
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/time/AcetoMIMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/AcetoMIMS13
Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco:
A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. TIME 2013: 65-72

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.