Funder
Colombia Ministerio de Ciencia Tecnología e Innovación
Horizon 2020
Horizon 2020 Framework Programme
H2020 Marie Skłodowska-Curie Actions
Ministerio de Ciencia, Tecnología e Innovación Productiva
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference51 articles.
1. Investigations into logical deduction;Gentzen,1969
2. Linear nested sequents, 2-sequents and hypersequents;Lellmann,2015
3. Conditioned rewriting logic as a united model of concurrency;Meseguer;Theor. Comput. Sci.,1992
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A system of inference based on proof search: an extended abstract;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26