Vitaly Perevoshchikov

Identifiers

No identifiers captured yet.

Papers (3)

1. Weight Assignment Logic cs.FL · 2015 · author #1
2. A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic cs.FL · 2015 · author #2
3. Multi-weighted Automata and MSO Logic cs.LO · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Manfred Droste 2 shared papers