bibliographer - Pascal Weil

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages Bharat Adsul Paul Gastin Shantanu Kulkarni Pascal Weil [github]

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil [github]

Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version) Bharat Adsul Paul Gastin Saptarshi Sarkar Pascal Weil [github]

The Quantifier Alternation Hierarchy of Synchronous Relations Diego Figueira Varun Ramanathan Pascal Weil [github]

Covering and separation for logical fragments with modular predicates Thomas Place Varun Ramanathan Pascal Weil [github]

The FO^2 alternation hierarchy is decidable Manfred Kufleitner Pascal Weil [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]