Anca Muscholl

Anca Muscholl (born 1967) is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic. She is a researcher at the (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Muscholl, Anca 1967-', query time: 0.05s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Über die Erkennbarkeit unendlicher Spuren

    Über die Erkennbarkeit unendlicher Spuren by Muscholl, Anca 1967-

    Published 1996
    Thesis Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Decision and complexity issues on concurrent systems

    Decision and complexity issues on concurrent systems by Muscholl, Anca 1967-

    Published 1999
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Über die Erkennbarkeit unendlicher Spuren

    Über die Erkennbarkeit unendlicher Spuren by Muscholl, Anca 1967-

    Published 1994
    Indexes
    Book Interlibrary loan Place Request


    Saved in:
  4. 4
    28th EACSL Annual Conference on Computer Science Logic CSL 2020, January 13–16, 2020, Barcelona, Spain

    28th EACSL Annual Conference on Computer Science Logic CSL 2020, January 13–16, 2020, Barcelona, Spain

    Published 2020
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  5. 5
    33rd International Conference on Concurrency Theory CONCUR 2022, September 12–16, 2022, Warsaw, Poland

    33rd International Conference on Concurrency Theory CONCUR 2022, September 12–16, 2022, Warsaw, Poland

    Published 2022
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  6. 6
    41st International Symposium on Mathematical Foundations of Computer Science MFCS 2016, August 22-26, 2016, Kraków, Poland

    41st International Symposium on Mathematical Foundations of Computer Science MFCS 2016, August 22-26, 2016, Kraków, Poland

    Published 2016
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: