Sequent calculus

相关论文数: 2

顶级研究者

André Platzer

研究机构: —

Jan-David Quesel

研究机构: —

Roy Dyckhoff

研究机构: —

Mehrnoosh Sadrzadeh

研究机构: —

Julien Truffaut

研究机构: —

最高引用论文

Playing Hybrid Games with KeYmaera

Jan-David Quesel, André Platzer

引用数: 13 • 2012

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut

引用数: 6 • 2013

相关技术

Artificial intelligenceComputer scienceMathematicsPhysicsTheoretical computer scienceProgramming languageGeometryMathematical proofDifferential (mechanical device)Discrete mathematics