Bisimulations on Planet Kripke 论文

1999UvA-DARE (University of Amsterdam)引用 276
PDF
semigroups and automata theoryComputability, Logic, AI AlgorithmsAdvanced Algebra and Logic
Computability, Logic, AI AlgorithmsAdvanced Algebra and Logicsemigroups and automata theory
相关技术:Computability, Logic, AI Algorithms
关系图谱

Bisimulations on Planet Kripke · 相关技术

相关技术

Computability, Logic, AI Algorithms