Besik Dundua

Available identifiers

zbMath Open dundua.besikMaRDI QIDQ2028999

List of research outcomes

Publication	Date of Publication	Type
A Rule-Based System for Computation and Deduction in Mathematica	2022-12-22	Paper
Unranked Nominal Unification	2022-08-11	Paper
Pattern-based calculi with finitary matching	2022-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5028483	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5015103	2021-12-08	Paper
Extending the \(\rho\) log calculus with proximity relations	2021-08-30	Paper
Specification and analysis of ABAC policies in a rule-based framework	2021-08-30	Paper
Variadic equational matching in associative and commutative theories	2021-06-03	Paper
Variadic equational matching	2020-01-22	Paper
CLP(H):Constraint logic programming for hedges	2017-11-09	Paper
A Constraint Solver for Equations over Sequences and Contexts	2017-01-13	Paper
Constraint Logic Programming for Hedges: A Semantic Reconstruction	2014-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2869706	2014-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q3174559	2011-10-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Besik Dundua