Folgen
Amaldev Manuel
Amaldev Manuel
Indian Institute of Technology Goa
Bestätigte E-Mail-Adresse bei iitgoa.ac.in - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Two Variables and Two Successors.
A Manuel
MFCS 6281, 513-524, 2010
252010
Two-variable logic on 2-dimensional structures
A Manuel, T Zeume
Computer Science Logic 2013 (CSL 2013), 2013
182013
Generalized data automata and fixpoint logic
T Colcombet, A Manuel
34th International Conference on Foundation of Software Technology and …, 2014
172014
Walking on data words
A Manuel, A Muscholl, G Puppis
Theory of Computing Systems 59 (2), 180-208, 2016
162016
Automata over infinite alphabets
A Manuel, R Ramanujam
Modern applications of automata theory, 529-553, 2012
142012
Two orders and two variables
A Manuel
MFCS 2010, 2010
112010
Cost functions definable by min/max automata
T Colcombet, D Kuperberg, A Manuel, S Toruńczyk
33rd International Symposium on Theoretical Aspects of Computer Science …, 2016
92016
Class counting automata on datawords
A Manuel, R Ramanujam
International Journal of Foundations of Computer Science 22 (04), 863-882, 2011
82011
Two-variable logic over countable linear orderings
A Manuel, AV Sreejith
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
72016
Counting multiplicity over infinite alphabets
A Manuel, R Ramanujam
Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau …, 2009
72009
A short note on two-variable logic with a linear order successor and a preorder successor
A Manuel, T Schwentick, T Zeume
arXiv preprint arXiv:1306.3418, 2013
62013
Definability and transformations for cost logics and automatic structures
M Lang, C Löding, A Manuel
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
42014
Counter automata and classical logics for data words
A Manuel
Ph. D. thesis, Institute of Mathematical Sciences, Chennai, 2011
32011
Two variable logic with a linear successor and a preorder
A Manuel, T Zeume
Under preparation, 2011
32011
Logics for reversible regular languages and semigroups with involution
P Gastin, A Manuel, R Govind
Developments in Language Theory: 23rd International Conference, DLT 2019 …, 2019
22019
Combinatorial expressions and lower bounds
T Colcombet, A Manuel
32nd International Symposium on Theoretical Aspects of Computer Science …, 2015
22015
Fragments of fixpoint logic on data words
T Colcombet, A Manuel
35th IARCS Annual Conference on Foundations of Software Technology and …, 2015
22015
Logic and its Applications
MA Khan, A Manuel
Springer Berlin Heidelberg, 2019
12019
An algebraic characterisation of first-order logic with neighbour
A Manuel, D Nevatia
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
2021
Reversible Regular Languages: Logical and Algebraic Characterisations
P Gastin, A Manuel, R Govind
Fundamenta Informaticae 180 (4), 333-350, 2021
2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20