Εμφανίζονται 1 - 20 Αποτελέσματα από 37.393 για την αναζήτηση '"Computer Science - Logic in Computer Science"', χρόνος αναζήτησης: 0,93δλ Περιορισμός αποτελεσμάτων
  1. 1
    Academic Journal

    Συνεισφορές: Michael Benedikt and Chia-Hsuan Lu and Boris Motik and Tony Tan

    Πηγή: ACM Transactions on Computational Logic. 27:1-65

    Περιγραφή αρχείου: application/pdf

  2. 2
  3. 3
  4. 4
    Academic Journal

    Πηγή: Proceedings of the AAAI Conference on Artificial Intelligence. 40:14361-14370

    Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2504.19039

  5. 5
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
    Academic Journal

    Συνεισφορές: Luca Aceto and Antonis Achilleos and Elli Anastasiadi and Adrian Francalanza and Daniele Gorla and Jana Wagemaker

    Πηγή: Aceto, L, Achilleos, A, Anastasiadi, E, Francalanza, A, Gorla, D & Wagemaker, J 2026, 'Centralized vs. Decentralized Monitors for Hyperproperties', ACM Transactions on Computational Logic, vol. 27, no. 1, 2. https://doi.org/10.1145/3767738
    ACM Transactions on Computational Logic, 27, 1, pp. 1-57

    Περιγραφή αρχείου: application/pdf

  16. 16
  17. 17
    Academic Journal
  18. 18
    Academic Journal

    Συγγραφείς: Kai Sauerwald, Arne Meier, Juha Kontinen

    Συνεισφορές: Ortiz, Magdalena, Wassermann, Renata, Schaub, Torsten, Department of Mathematics and Statistics

    Πηγή: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :523-533

    Περιγραφή αρχείου: application/pdf

  19. 19
    Academic Journal

    Πηγή: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :2-11

    Περιγραφή αρχείου: application/pdf

  20. 20
    Academic Journal

    Συνεισφορές: BOLLEN, Jeroen, VAN DEN BUSSCHE, Jan, VANSUMMEREN, Stijn, VIRTEMA, Jonni, Ortiz, M., Wassermann, R., Schaub, T.

    Πηγή: Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning. :175-184

    Περιγραφή αρχείου: application/pdf