Graph explorer

Dariusz Biernacki

Dariusz Biernacki contributes to research discovery and scholarly infrastructure.

6 nodes5 linksoverview previewDariusz Biernacki
6 nodes5 links
Dariusz Biernacki6 visible / 6 total nodes / 5 links
AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipADariusz BiernackiResearcherWNormal Form Bisimulatio...preprint / 2012WApplicative Bisimulatio...preprint / 2012WEnvironmental Bisimulat...preprint / 2013WAn Abstract Machine for...preprint / 2020WProving termination of ...preprint / 2013
PersonSignal 105 links

Dariusz Biernacki

Researcher

Open