共 50 条
- [1] On the Size of Logical Automata THEORY AND PRACTICE OF COMPUTER SCIENCE, SOFSEM 2019, 2019, 11376 : 447 - 460
- [5] A Logical Treatment of Finite Automata TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2024, 2024, 14570 : 350 - 369
- [9] Fregean Logical Graphs DIAGRAMMATIC REPRESENTATION AND INFERENCE, DIAGRAMS 2020, 2020, 12169 : 436 - 444