作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：Logical Methods in Computer Science. 2005 ;1(2).

出 版 社：Technical University of Braunschweig

文 章 ID：41929649

作　　者：Dariusz Biernacki ;Lenglet, Sergueï ;Piotr Polesiuk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:7:1-7:22.doi:10.4230/LIPIcs.FSCD.2020.7

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255823184

作　　者：Dariusz Biernacki ;Mateusz Pyzik ;Filip Sieczkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:18:1-18:17.doi:10.4230/LIPIcs.FSCD.2020.18

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255823195

作　　者：Dariusz Biernacki ;Piotr Polesiuk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:107-122.doi:10.4230/LIPIcs.TLCA.2015.107

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186846859

作　　者：Andr{\'e}s Aristiz{\'a}bal ;Dariusz Biernacki ;Serguei Lenglet 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:9:1-9:17.doi:10.4230/LIPIcs.FSCD.2016.9

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847441

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

出　　处：BRICS Report Series. 2003 ;10(13).

出 版 社：Aarhus University

文 章 ID：186804834

作　　者：Mads Sig Ager ;Dariusz Biernacki ;Olivier Danvy 等

出　　处：BRICS Report Series. 2003 ;10(14).

出 版 社：Aarhus University

文 章 ID：186804835

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2003 ;10(41).

出 版 社：Aarhus University

文 章 ID：186804860

作　　者：Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2004 ;11(5).

出 版 社：Aarhus University

文 章 ID：186804877

作　　者：Malgorzata Biernacka ;Dariusz Biernacki ;Olivier Danvy

出　　处：BRICS Report Series. 2004 ;11(29).

出 版 社：Aarhus University

文 章 ID：186804901