Showing 561 - 580 results of 7,253 for search '"Computer Science"', query time: 0.28s Refine Results
  1. 561
  2. 562

    Vector Addition System Reversible Reachability Problem by Jérôme Leroux

    Published 2013-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  3. 563
  4. 564
  5. 565

    Canonicity and homotopy canonicity for cubical type theory by Thierry Coquand, Simon Huber, Christian Sattler

    Published 2022-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  6. 566
  7. 567
  8. 568
  9. 569

    Complexity theory for spaces of integrable functions by Florian Steinberg

    Published 2017-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  10. 570
  11. 571

    Banach Spaces as Data Types by Dag Normann

    Published 2011-05-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  12. 572
  13. 573

    Comparing hierarchies of total functionals by Dag Normann

    Published 2005-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  14. 574

    Complexity of Problems of Commutative Grammars by Eryk Kopczynski

    Published 2015-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  15. 575
  16. 576
  17. 577
  18. 578
  19. 579

    Usability in Scientific Databases by Ana-Maria Suduc, Mihai Bizoi, Florin Gheorghe Filip

    Published 2012-07-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  20. 580