logo
Rewriting systems

カンファレンス検索結果 (4)

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Kumamoto, Japan
May 15, 2024 - May 17, 2024
functionallogicfunctional-logic programming+11 その他

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 その他

Current Trends in Theory and Practice of Computer Science (SOFSEM)

Rank: BOffline
Bratislava, Slovakia
Jan 20, 2025 - Jan 23, 2025
AI-based algorithms and techniquesalgorithmsautomata+36 その他

Machines, Computations and Universality (MCU)

Rank: COffline
Nice, France
Jun 5, 2024 - Jun 7, 2024
computation in the setting of various discrete models (Turing machinesregister machinescellular automata+45 その他