Namit Chaturvedi

From MaRDI portal
Person:2407084

Available identifiers

zbMath Open chaturvedi.namitMaRDI QIDQ2407084

List of research outcomes





PublicationDate of PublicationType
Classifying recognizable infinitary trace languages using word automata2017-09-28Paper
Classifying Recognizable Infinitary Trace Languages Using Word Automata2014-10-14Paper
Toward a Structure Theory of Regular Infinitary Trace Languages2014-07-01Paper
A Framework for Decentralized Physical Access Control using Finite State Automata2013-02-26Paper
LANGUAGES VERSUS ω-LANGUAGES IN REGULAR INFINITE GAMES2013-01-18Paper
Languages vs. ω-Languages in Regular Infinite Games2011-07-29Paper

Research outcomes over time

This page was built for person: Namit Chaturvedi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2407084&oldid=7511793"
Powered by MediaWiki