共 50 条
- [43] On the complexity of Temporal Equilibrium Logic 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 645 - 656
- [44] COMPLEXITY OF REDUCTION IN COMBINATORY LOGIC RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (04): : 339 - 367
- [50] Creating a Second Order Diagrammatic Logic DIAGRAMMATIC REPRESENTATION AND INFERENCE, 2010, 6170 : 298 - 300