Amaldev Manuel
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Edit distance of finite state transducers | 2026-01-14 | Paper |
| Two-Variable Logic over Countable Linear Orderings | 2018-03-21 | Paper |
| Cost functions definable by min/max automata | 2018-01-24 | Paper |
| Fragments of fixpoint logic on data words | 2017-07-13 | Paper |
| Generalized data automata and fixpoint logic | 2017-04-25 | Paper |
| Two-variable logic on 2-dimensional structures | 2017-02-02 | Paper |
| Combinatorial expressions and lower bounds | 2017-01-24 | Paper |
| Walking on data words Theory of Computing Systems | 2017-01-18 | Paper |
| Definability and transformations for cost logics and automatic structures Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
| Walking on data words Computer Science – Theory and Applications | 2013-06-14 | Paper |
| Two variables and two successors Mathematical Foundations of Computer Science 2010 | 2010-09-03 | Paper |
Research outcomes over time
This page was built for person: Amaldev Manuel
