Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ondrej Lengal
Map detail
Ondrej Lengal3 visible / 3 total nodes / 2 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipOndrej LengalAOndrej LengalResearcherFully Automated Shape Analysis Based on Forest AutomataWFully Automated Shape A...preprint / 2013Nested Antichains for WS1SWNested Antichains for WS1Spreprint / 2015
Person2 links

Ondrej Lengal

Researcher