Temur Kutsia
AuthID: R-00H-FSC
1
TÃTULO: Pattern-based calculi with finitary matching
AUTORES: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2018, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2
AUTORES: Sandra Alves ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2018, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 26, NÚMERO: 2
2
TÃTULO: Lambda Calculus with Regular Types
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2016, FONTE: 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)
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2016, FONTE: 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
TÃTULO: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
AUTORES: Besik Dundua ; Mario Florido ; Temur Kutsia; Mircea Marin;
PUBLICAÇÃO: 2014, FONTE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475
4
TÃTULO: A Rule-Based Approach to XML Processing and Web Reasoning Full Text
AUTORES: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
AUTORES: Jorge Coelho ; Besik Dundua ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Web Reasoning and Rule Systems in WEB REASONING AND RULE SYSTEMS, VOLUME: 6333
5
TÃTULO: Collaborative Schema Construction using Regular Sequence Types
AUTORES: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
AUTORES: Jorge Coelho ; Mario Florido ; Temur Kutsia;
PUBLICAÇÃO: 2008, FONTE: IEEE International Conference on Information Reuse and Integration in PROCEEDINGS OF THE 2009 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION
6
TÃTULO: Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings
AUTORES: Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia;
PUBLICAÇÃO: 2007, FONTE: AB, VOLUME: 4545
AUTORES: Hirokazu Anai; Katsuhisa Horimoto; Temur Kutsia;
PUBLICAÇÃO: 2007, FONTE: AB, VOLUME: 4545
INDEXADO EM: 
DBLP
DBLP