R. Ramanujam

Available identifiers

zbMath Open ramanujam.rMaRDI QIDQ6082224

List of research outcomes

Publication	Date of Publication	Type
Reasoning about emergence of collective memory	2024-11-24	Paper
Generalized bundled fragments for first-order modal logic	2024-08-06	Paper
Trace consistency and inevitability	2024-07-05	Paper
A logical description of priority separable games	2024-06-26	Paper
A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic	2023-11-03	Paper
Are bundles good deals for first-order modal logic?	2023-07-17	Paper
Bundled fragments of first-order modal logic: (un)decidability	2018-03-28	Paper
Automata and compositional strategies in extensive form games	2016-08-30	Paper
Memory and logic: a tale from automata theory	2013-10-04	Paper
Information based reasoning about security protocols	2013-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2754167	2001-11-11	Paper

Research outcomes over time

This page was built for person: R. Ramanujam