Temur Kutsia
AuthID: R-00H-FSC
1
TITLE: Pattern-based calculi with finitary matching
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2
AUTHORS: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2018, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, ISSUE: 2
2
TITLE: Lambda Calculus with Regular Types
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2016, SOURCE: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC)
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2016, SOURCE: 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) in 2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC)
3
TITLE: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
AUTHORS: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
4
TITLE: A Rule-Based Approach to XML Processing and Web Reasoning Full Text
AUTHORS: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2010, SOURCE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
AUTHORS: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2010, SOURCE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
5
TITLE: Collaborative Schema Construction using Regular Sequence Types
AUTHORS: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
AUTHORS: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
6
TITLE: Sequence disunification and its application in Collaborative Schema Construction
AUTHORS: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2007, SOURCE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832
AUTHORS: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLISHED: 2007, SOURCE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP7
TITLE: Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
AUTHORS: Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia;
PUBLISHED: 2007, SOURCE: AB, VOLUME: 4545
AUTHORS: Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia;
PUBLISHED: 2007, SOURCE: AB, VOLUME: 4545
INDEXED IN: DBLP
DBLP