Showing 1,021 - 1,040 results of 7,253 for search '"Computer Science"', query time: 0.32s Refine Results
  1. 1021

    Residuality and Learning for Nondeterministic Nominal Automata by Joshua Moerman, Matteo Sammartino

    Published 2022-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  2. 1022

    Backtracking algorithm for lexicon generation by Constantin Ciubotaru

    Published 2021-04-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  3. 1023
  4. 1024
  5. 1025

    Aspects of algebraic Algebras by Dirk Hofmann, Lurdes Sousa

    Published 2017-07-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  6. 1026
  7. 1027

    Lineal: A linear-algebraic Lambda-calculus by Pablo Arrighi, Gilles Dowek

    Published 2017-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  8. 1028
  9. 1029
  10. 1030
  11. 1031

    Deciding Conditional Termination by Radu Iosif, Filip Konecny, Marius Bozga

    Published 2014-08-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  12. 1032
  13. 1033
  14. 1034
  15. 1035
  16. 1036

    Controlling a random population by Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann

    Published 2021-11-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  17. 1037

    A Way to Construct Commutative Hyperstructures by Andromeda Sonea

    Published 2023-04-01
    “…Computer Sciences & Mathematics Forum…”
    Get full text
    Article
  18. 1038
  19. 1039

    Randomisation and Derandomisation in Descriptive Complexity Theory by Kord Eickmeyer, Martin Grohe

    Published 2011-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  20. 1040