Besiki Dundua


AuthID: R-004-RKB

Confirmed Publications: 5



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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
2
TITLE: CLP(H): Constraint logic programming for hedges
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T;
PUBLISHED: 2016, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 16, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3
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)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
5
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service