Invited papers presented at the 1992 IEEE Symposium on Logic in Computer Sciences

Veröffentlicht 1994

Hereditary Harrop formulas and uniform proof systems

von Miller, Dale
Veröffentlicht 1987

Soft Subexponentials and Multiplexing

von Kanovich, Max
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Decidable Fragments of Calculi Used in CatLog

von Kanovich, Max I.
Veröffentlicht in NLPinAI (2021 : Online) Natural Language Processing in Artificial Intelligence – NLPinAI 2021 (2022)

Non-associative, Non-commutative Multi-modal Linear Logic

von Blaisdell, Eben
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems

von Alturki, Musab A.
Veröffentlicht in ICTAC (19. : 2022 : Tiflis) Theoretical aspects of computing - ICTAC 2022 (2022)

On Security Analysis of Periodic Systems: Expressiveness and Complexity

von Alturki, Musab A.
Veröffentlicht in ICISSP ICISSP 2021 (2021)

1992 IEEE Symposium on Logic in Computer Science : [invited papers]

1992 IEEE Symposium on Logic in Computer Science : [invited papers]

Veröffentlicht 1994

1992 IEEE Symposium on Logic in Computer Science : [invited papers]

Veröffentlicht 1994