activity
20102024
most citedPropositional dynamic logic and asynchronous cascade decompositions for regular trace languages

3 citations · 4 across the 6 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.LO2018

A Generalization of the Łoś-Tarski Preservation Theorem - Dissertation Summary

Abhisekh Sankaran

This article gives a summary of the author's Ph.D. dissertation (arXiv:1609.06297). In addition to an overview of notions and results, it also provides sketches of various proofs a…