Author:
Avellone Alessandro,Fiorentini Camillo,Fiorino Guido,Moscato Ugo
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Artificial Intelligence;S. Akama,1997
2. Avellone, A., Fiorentini, C., Fiorino, G., Moscato, U.: An efficient implementation of a tableau calculus for a logic with a constructive negation. Technical Report 83, Dipartimento di Metodi Quantitativi per le Scienze Economiche Aziendali, Universitá Milano-Bicocca (2004)
http://homes.dsi.unimi.it/~fiorenti.
(available at)
3. Benini, M.: Verification and Analysis of Programs in a Constructive Environment. PhD thesis, Dipartimento di Scienze dell’Informazione, Universit‘a degli Studi di Milano, Italy (1999)
4. Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. Journal of Symbolic Logic 57(3), 795–807 (1992)
5. Lecture Notes in Computer Science;M. Ferrari,2002
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献