Cited By
View all- Dundua BKurtanidze LRukhaia M(2017)Unranked tableaux calculus for web related applications2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON)10.1109/UKRCON.2017.8100435(1181-1184)Online publication date: May-2017
- Alves SDundua BFlorido MKutsia T(2017)Pattern-based calculi with finitary matchingLogic Journal of the IGPL10.1093/JIGPAL/jzx05926:2(203-243)Online publication date: 29-Dec-2017
- Dundua BFlorido MKutsia T(2015)Lambda Calculus with Regular TypesProceedings of the 2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)10.1109/SYNASC.2015.29(129-136)Online publication date: 21-Sep-2015
- Show More Cited By