Search Results - Areces, Carlos

Filter by
  1. 1
    Cover Image

    Hybrid logics: characterization, interpolation and complexity
    by Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

    The computational complexity of hybrid temporal logics
    by Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Published 2000
    Order via interlibrary loan
    Book


    Saved in:
  3. 3
    Cover Image

    Repairing the interpolation theorem in quantified modal logic
    by Areces, Carlos, Blackburn, Patrick 1959-, Marx, Maarten

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  4. 4
    Cover Image

    Failure of interpolation in combined modal logics
    by Marx, Maarten, Areces, Carlos

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  5. 5
    Cover Image

    Decomposing modal logic
    by Areces, Carlos

    Published 2002
    Order via interlibrary loan
    Book


    Saved in:
  6. 6
    Cover Image

    Resolution in modal, description and hybrid logic
    by Areces, Carlos

    Published 2002
    Order via interlibrary loan
    Book


    Saved in:
  7. 7
    Cover Image

    HyLoRes: a hybrid logic prover based on direct resolution
    by Areces, Carlos, Heguiabehere, Juan

    Published 2002
    Order via interlibrary loan
    Book


    Saved in:
  8. 8
    Cover Image

    Analyzing the core of categorial grammar
    by Areces, Carlos, Bernardi, Raffaella

    Published 2001
    Order via interlibrary loan
    Book


    Saved in:
  9. 9
    Cover Image

    Prefixed resolution: a resolution method for modal and description logics
    by Areces, Carlos, Nivelle, Hans de 1967-, Rijke, Maarten de

    Published 1999
    Order via interlibrary loan
    Book


    Saved in:
  10. 10
    Cover Image

    Iterable AGM functions
    by Areces, Carlos, Becher, Verónica

    Published 1998
    Order via interlibrary loan
    Book


    Saved in:
  11. 11
    Cover Image

    Dynamic logic: new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, revised selected papers

    Published 2023
    Other Authors: “…Areces, Carlos…”
    Read online
    Electronic Conference Proceedings eBook


    Saved in:
  12. 12
    Cover Image

    Anacleto: agente secreto

    Published 2015
    Other Authors: “…Areces, Carlos 1976-…”
    Order via interlibrary loan
    Video Software


    Saved in:
  13. 13
    Cover Image

    Dynamic logic: new trends and applications : 4th international workshop, DaLí 2022, Haifa, Israel, July 31 - August 1, 2022 : revised selected papers

    Published 2023
    Other Authors: “…Areces, Carlos…”
    Order via interlibrary loan
    Conference Proceedings Book


    Saved in:
  14. 14
    Cover Image

    Torrente 4

    Published 2013
    Other Authors: “…Areces, Carlos…”
    Order via interlibrary loan
    Video Software


    Saved in:
  15. 15
    Cover Image

    Negociador

    Published 2015
    Other Authors: “…Areces, Carlos 1976-…”
    Order via interlibrary loan
    Video Software


    Saved in:
  16. 16
    Cover Image

    El inconveniente: la vida es lo que te pasa mientras haces otros planes

    Published 2021
    Other Authors: “…Areces, Carlos 1976-…”
    Order via interlibrary loan
    Video Software


    Saved in:
  17. 17
    Cover Image

    Vier Wände für Zwei

    Published 2022
    Other Authors: “…Areces, Carlos 1976-…”
    Order via interlibrary loan
    Video Software


    Saved in:
  18. 18
    Cover Image

    Mad Circus - Eine Ballade von Liebe und Tod

    Published 2012
    Other Authors: “…Areces, Carlos…”
    Order via interlibrary loan
    Video Software


    Saved in:
  19. 19
    Cover Image

    Mad Circus - Eine Ballade von Liebe und Tod

    Published 2012
    Other Authors: “…Areces, Carlos…”
    Order via interlibrary loan
    Video Software


    Saved in:
  20. 20
    Cover Image

    Mad Circus: eine Ballade von Liebe und Tod
    by Baños, Roque 1968-, Torre, Antonio de la 1968-

    Published 2012
    Other Authors: “…Areces, Carlos 1976-…”
    Order via interlibrary loan
    Video Software


    Saved in:

Search Tools: