作　　者：Andreas Abel ;Brigitte Pientka

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;34:5-20.doi:10.4204/EPTCS.34.3

出 版 社：Open Publishing Association

文 章 ID：83120003

作　　者：Mathieu Boespflug ;Brigitte Pientka

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;71:29-43.doi:10.4204/EPTCS.71.3

出 版 社：Open Publishing Association

文 章 ID：83120342

作　　者：Olivier Savary Belanger ;Stefan Monnier ;Brigitte Pientka

出　　处：Journal of Formalized Reasoning. 2015 ;8(1):49-91.doi:10.6092/issn.1972-5787/5122

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：184649916

作　　者：Jonas Kaiser ;Brigitte Pientka ;Gert Smolka

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:21:1-21:19.doi:10.4230/LIPIcs.FSCD.2017.21

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

文 章 ID：200735130

作　　者：Brigitte Pientka

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:2:1-2:3.doi:10.4230/LIPIcs.FSCD.2020.2

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

文 章 ID：255823179

作　　者：Rohan Jacob-Rao ;Brigitte Pientka ;David Thibodeau

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:19:1-19:17.doi:10.4230/LIPIcs.FSCD.2018.19

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

文 章 ID：220014777

作　　者：Brigitte Pientka ;Andreas Abel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;38:273-287.doi:10.4230/LIPIcs.TLCA.2015.273

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

文 章 ID：186846870

作　　者：Delia Kesner ;Brigitte Pientka

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:0:i-0:xviii.doi:10.4230/LIPIcs.FSCD.2016.0

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

文 章 ID：186847432

作　　者：Brigitte Pientka

出　　处：OASIcs : OpenAccess Series in Informatics. 2015 ;46:1-1.doi:10.4230/OASIcs.WPTE.2015.1

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

文 章 ID：186848832