Besiki Dundua


AuthID: R-004-RKB

Publicações Confirmadas: 5



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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
2
TÍTULO: CLP(H): Constraint logic programming for hedges
AUTORES: Dundua, B ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2016, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3
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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
5
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service