Showing 1,081 - 1,100 results of 7,253 for search '"Computer Science"', query time: 1.72s Refine Results
  1. 1081
  2. 1082
  3. 1083

    Proof-Relevant Logical Relations for Name Generation by Nick Benton, Martin Hofmann, Vivek Nigam

    Published 2018-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  4. 1084

    About some problems related to collective expertise by N. Davidova, V.I. Levcenco, Yu.N. Pechersky

    Published 2003-04-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  5. 1085
  6. 1086
  7. 1087
  8. 1088
  9. 1089
  10. 1090

    On the Axiomatizability of Impossible Futures by Taolue Chen, Wan Fokkink, Rob van Glabbeek

    Published 2015-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  11. 1091
  12. 1092
  13. 1093
  14. 1094

    Relational Parametricity and Separation Logic by Lars Birkedal, Hongseok Yang

    Published 2008-05-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  15. 1095

    Deep learning-based software for detecting population density of Antarctic birds by Sinan Uğuz

    Published 2023-07-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  16. 1096
  17. 1097
  18. 1098
  19. 1099
  20. 1100

    Towards an Algebra for Cascade Effects by Elie M. Adam, Munther A. Dahleh, Asuman Ozdaglar

    Published 2017-07-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article