Metatheory
相关论文数: 3
最高引用论文
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited.
Erik Sandewall
引用数: 21 • 1998
Toward Structured Proofs for Dynamic Logics.
Brandon Bohrer, André Platzer
引用数: 3 • 2019
Metatheory and Classification of Digital Human Rights and Freedoms
G. V. Alexeyev
引用数: 2 • 2024