×

找到57个文档（结果1-57）

最新的 引文 关联
Mikołaj博扬奇克;埃登Kelmendi;拉法·斯特凡斯基;格奥尔格·泽茨彻

\（\omega \）的扩展-常规语言。 （英语） Zbl 1498.03022号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机机械协会（ACM）。266-272 (2020).
MSC公司：03B16号 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}等人，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机机械协会（ACM）。266-272（2020年；兹bl 1498.03022）
全文： DOI程序 arXiv公司
Mikołaj博扬奇克;阿米娜·杜马内

一阶树对树函数。 （英语） Zbl 1498.03066号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机机械协会（ACM）。252-265 (2020).
MSC公司：03B70号 03B10号机组 03B16号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{A.Doumane}，摘自：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机机械协会（ACM）。252--265（2020年；Zbl 1498.03066）
全文： DOI程序 arXiv公司 哈尔
Mikołaj博扬奇克;菲利波·卡瓦拉里;托马斯·普莱斯;Micha Skrzypczak

低级Wadge层次结构中的常规树语言。 （英语） Zbl 1509.03144号

日志。方法计算。科学。 15，第3号，第27号论文，61页（2019年）.
MSC公司：03E15年 05年3月 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}等人，《日志》。方法计算。科学。15，第3号，第27号论文，61页（2019年；Zbl 1509.03144）
全文： arXiv公司
Mikołaj博扬奇克;西门托伦奇克

关于无限集的可计算性和可处理性。 （英语） Zbl 1452.03093号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机机械协会（ACM）。145-154 (2018).
MSC公司：03日30分 05年3月 2015年3月1日 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Boja nn czyk}和\textit{S.Toru nn gzyk}，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机机械协会（ACM）。145--154（2018；Zbl 1452.03093）
全文： DOI程序
Mikołaj博扬奇克;马丁·格罗;米夏·皮利普祖克

有界线性团宽图的可定义分解。 （英语） Zbl 1452.03088号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机机械协会（ACM）。135-144 (2018).
MSC公司：05年3月 03B16号 05C70号 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机机械协会（ACM）。135-144（2018；Zbl 1452.03088）
全文： DOI程序 arXiv公司
Mikołaj博扬奇克;劳雷·达沃;桑卡拉·纳拉亚南·克里希纳

常规和一阶列表功能。 （英语） Zbl 1497.68137号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机机械协会（ACM）。125-134 (2018).
MSC公司：68第05页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机机械协会（ACM）。125-134（2018；Zbl 1497.68137）
全文： DOI程序 arXiv公司 链接
Mikołaj博扬奇克;劳雷·达沃;布鲁诺·吉隆;文森特·佩内尔

传感器生成哪些类别的原点图。 （英语） Zbl 1442.68083号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第114条，第13页（2017年）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}等人，LIPIcs——莱布尼茨国际程序。通知。80，第114条，第13页（2017年；Zbl 1442.68083）
全文： DOI程序
Mikołaj博扬奇克;雨果·金伯特;Edon Kelmendi

零自动机的空性是可以判定的。 （英语） Zbl 1442.68084号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第106条，第13页（2017年）。
MSC公司：65年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}等人，LIPIcs——莱布尼茨国际程序。通知。80，第106条，第13页（2017年；Zbl 1442.68084）
全文： DOI程序 arXiv公司
Mikołaj Bojánczyk

轨道有限集及其算法。 （英语） Zbl 1441.68117号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80，第1条，第14页（2017年）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojánczyk}，LIPIcs——莱布尼茨国际程序。通知。80，第1条，第14页（2017；Zbl 1441.68117）
全文： DOI程序
Mikołaj博扬奇克;Micha Pilipczuk

优化MSO中的树分解。 （英语） Zbl 1402.68140号

Vollmer，Heribert（编辑）等人，第34届计算机科学理论方面研讨会（STACS 2017），德国汉诺威，2017年3月8-11日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-028-6）。LIPIcs–莱布尼茨国际信息学学报66，第15条，第13页（2017年）。
MSC公司：68兰特 03B15号机组 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{M.Pilipczuk}，LIPIcs——莱布尼茨国际程序。通知。66，第15条，第13页（2017；Zbl 1402.68140）
全文： DOI程序
Mikołaj博扬奇克;Micha Pilipczuk

可定义性等于有界树宽图的可识别性。 （英语） 兹比尔1394.03062

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。407-416 (2016).
MSC公司：05年3月 03B15号机组 05C75号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{M.Pilipczuk}，摘自：2016年第31届ACM/IEEE计算机科学逻辑年会论文集，2016年7月5-8日，美国纽约市，2016年LICS。纽约州纽约市：计算机机械协会（ACM）。407--416（2016；Zbl 1394.03062）
全文： DOI程序 arXiv公司
米科拉伊·博扬奇克;帕里斯，帕维尔;斯兹蒙·托伦茨克

（（mathbb N，<））的MSO+U理论是不可判定的。 （英语） Zbl 1388.03016号

Ollinger，Nicolas（编辑）等人，第33届计算机科学理论方面研讨会，2016年STACS，法国奥尔良，2016年2月17日至20日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-001-9）。LIPIcs–莱布尼茨国际信息学会议录47，第21条，第8页（2016年）。
MSC公司：03B25号 05年3月 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bojanczyk｝等人，LIPIcs——莱布尼茨国际会议记录。通知。47，第21条，第8页（2016；Zbl 1388.03016）
全文： DOI程序 arXiv公司
米科拉伊·博扬奇克

带有概率路径量词的精简MSO。 （英语） Zbl 1387.03005号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 96，13 p.（2016）。
MSC公司：03B15号机组 03B44号 03B48号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojanczyk}，LIPIcs——莱布尼茨国际程序。通知。55，第96条，13 p.（2016；Zbl 1387.03005）
全文： DOI程序
Mikołaj博扬奇克;菲利普·莫拉克;亚当·威特科夫斯基

通过有界clique-width包含一元数据日志程序。 （英语） Zbl 1440.68054号

Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 427-439 (2015).
MSC公司：第68页，共15页 03B70号 68N17号 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}等人，莱克特。注释计算。科学。9135427--439（2015；Zbl 1440.68054）
全文： DOI程序
Bojanczyk，米科拉伊;克里斯托夫·迪特曼;斯蒂芬·克鲁泽

模态演算的分解定理和模型检验。 （英语） Zbl 1394.68222号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第17号论文，第10页（2014年）。
MSC公司：60年第68季度 03B45号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojanczyk}et al.，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第17号文件，第10页（2014年；兹bl 1394.68222）
全文： DOI程序 arXiv公司
Mikołaj博扬奇克;托马斯·戈加茨;Henryk Michalewski;Micha Skrzypczak

关于无限树上MSO+U的可判定性。 （英语） Zbl 1407.03007号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 50-61 (2014).
MSC公司：03B25号 05年3月 03E35号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}等人，莱克特。注释计算。科学。8573，50-61（2014年；兹比尔1407.03007）
全文： DOI程序
Mikołaj博扬奇克

无限树上带有路径量词的弱MSO+U。 （英语） Zbl 1407.03006号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 38-49 (2014).
MSC公司：03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，莱克特。注释计算。科学。8573，38-49（2014；Zbl 1407.03006）
全文： DOI程序 arXiv公司
Mikołaj博扬奇克

带有原点信息的传感器。 （英语） Zbl 1409.68152号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，第41届国际学术讨论会，ICALP 2014，丹麦哥本哈根。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 26-37 (2014).
MSC公司：65年第68季度 05年3月 68问题32 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，莱克特。注释计算。科学。8573，26-37（2014；Zbl 1409.68152）
全文： DOI程序 arXiv公司
Bojánczyk，米科拉伊;巴托克·克林;萨沃米尔·拉索塔;西门托伦奇克

带原子的图灵机器。 （英语） Zbl 1367.68098号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。183-192 (2013).
MSC公司：2005年第68季度 03日第10天 19年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bojánczyk｝等人，载：2013年第28届ACM/IEEE计算机科学逻辑年度研讨会论文集，LICS 2013，美国洛杉矶新奥尔良杜兰大学，2013年6月25-28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。183-192（2013年；Zbl 1367.68098）
全文： DOI程序
Mikołaj博扬奇克;托马斯·伊齐亚塞克;Micha Skrzypczak

细树的常规语言。 （英语） Zbl 1354.68146号

Portier，Natacha（编辑）等人，第30届计算机科学理论方面国际研讨会，STACS’13，德国基尔，2013年2月27日至3月2日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-50-7）。LIPIcs–莱布尼茨国际信息学论文集20，562-573（2013）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}等人，LIPIcs——莱布尼茨国际程序。通知。20、562--573（2013；Zbl 1354.68146）
全文： DOI程序
Mikołaj博扬奇克

用原子模拟无限结构。 （英语） Zbl 1394.03055号

利布金，列奥尼德（编辑）等人，《逻辑、语言、信息和计算》。2013年8月20日至23日，德国达姆施塔特WoLLIC 2013第20届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39991-6/pbk）。计算机科学课堂讲稿8071，13-28（2013）。
MSC公司：03C07号机组 03B70号
PDF格式BibTeX公司 XML格式引用
\文本{M.Bojańczyk}，勒克特。注释计算。科学。8071、13-28（2013；Zbl 1394.03055）
全文： DOI程序
文斯·巴拉尼;Mikołaj Bojanczyk;迭戈·菲格拉;帕里斯（Pawe Parys）

XPath文档的可决定类。 （英语） Zbl 1354.68071号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，99-111（2012）。
MSC公司：第68页，共15页 03B25号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Bárány}等人，LIPIcs--Leibniz Int.Proc。通知。18、99-111（2012；Zbl 1354.68071）
全文： DOI程序
Mikołaj博扬奇克;萨沃米尔·拉索塔

具有非均匀原子的Fraenkel-Mostowski集。 （英语） Zbl 1311.03058号

Finkel，Alain（编辑）等人，《可达性问题》。2012年9月17日至19日，法国波尔多RP 2012第六届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33511-2/pbk）。计算机科学课堂讲稿7550，1-5（2012）。
MSC公司：03B70号 03E70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{S.Lasota}，莱克托。注释计算。科学。7550，1--5（2012；Zbl 1311.03058）
全文： DOI程序
Mikołaj博扬奇克;托马斯·普莱斯

朝向具有数据值的模型理论。 （英语） Zbl 1367.03051号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学课堂讲稿7392116-127（2012）。
MSC公司：03B70号 03C07号机组 03E70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{T.Place}，莱克托。注释计算。科学。7392、116--127（2012年；Zbl 1367.03051）
全文： DOI程序 链接
Mikołaj博扬奇克;托马斯·普莱斯

无限树的正则语言是开放集的布尔组合。 （英语） Zbl 1367.68160号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学讲义739204-115（2012）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{T.Place}，莱克托。注释计算。科学。7392，104-115（2012；Zbl 1367.68160）
全文： DOI程序
Mikołaj博扬奇克;萨沃米尔·拉索塔

时间语言的机器相关特性。 （英语） Zbl 1367.68159号

Czumaj，Artur（编辑）等人，《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会，ICALP 2012。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-31584-8/pbk）。计算机科学课堂讲稿7392，92-103（2012）。
MSC公司：65年第68季度 03E70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{S.Lasota}，莱克托。注释计算。科学。7392，92-103（2012；Zbl 1367.68159）
全文： DOI程序
Mikołaj博扬奇克;卢克·塞古芬;霍华德·斯特劳宾

分段可测试树语言。 （英语） Zbl 1261.03126号

日志。方法计算。科学。 8，第3号，第26号论文，32页（2012）.
审核人：马格努斯·斯坦比（图尔库）
MSC公司：05年3月 03B70号 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{M.Bojańczyk}等人，日志。方法计算。科学。8，第3号，第26号论文，32页（2012；Zbl 1261.03126）
全文： DOI程序 arXiv公司
米科拉伊·博扬奇克;西门托伦奇克

无限树上的弱\（\text{MSO}+U\）。 （英语） Zbl 1245.68119号

Dürr，Christoph（编辑）等人，STACS 2012。第29届计算机科学理论方面国际研讨会，2012年2月29日至3月3日，法国巴黎。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-35-4）。LIPIcs–莱布尼茨国际信息学会议录14，648-660，仅电子版（2012年）。
MSC公司：65年第68季度 03B25号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{S.Toruáczy}，LIPIcs——莱布尼茨国际程序。通知。14648-660（2012年；Zbl 1245.68119）
全文： DOI程序
Mikołaj博扬奇克

Beyond\（\omega\）-正则语言。 （英语） Zbl 1230.68124号

Marion，Jean-Yves（编辑）等人，STACS 2010。第27届计算机科学理论方面国际研讨会，法国南希，2010年3月4-6日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-16-3）。LIPIcs–莱布尼茨国际信息学会议录5，11-16，仅电子版（2010年）。
MSC公司：65年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，LIPIcs——莱布尼茨国际程序。通知。5、11--16（2010年；Zbl 1230.68124）
全文： DOI程序 链接
Mikołaj博扬奇克;西门托伦奇克

确定性自动机与弱MSO的扩展。 （英语） Zbl 1248.68285号

Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学论文集4，73-84，仅电子版（2009）。
MSC公司：65年第68季度 05年3月 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{S.Toruáczy}，LIPIcs——莱布尼茨国际程序。通知。4、73-84（2009年；Zbl 1248.68285）
全文： DOI程序 链接
Mikołaj博扬奇克

带有无界量词的弱MSO。 （英语） 兹比尔1236.68165

Albers，Susanne（编辑）等人，STACS 2009。2009年2月26日至28日，德国弗莱堡，第26届计算机科学理论方面国际研讨会。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-09-5）。LIPIcs–莱布尼茨国际信息学会议录3，159-170，仅电子版（2009年）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，LIPIcs——莱布尼茨国际程序。通知。3159--170（2009年；Zbl 1236.68165）
全文： DOI程序 链接
Mikołaj博扬奇克;托马斯·伊齐亚塞克

无限森林代数及其在时序逻辑EF中的应用。 （英语） Zbl 1254.68158号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710131-145（2009）。
MSC公司：70年第68季度 03B44号 05年5月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}和\textit{T.Idziaszek}，莱克托。注释计算。科学。5710131-145（2009年；Zbl 1254.68158）
全文： DOI程序
Mikołaj博扬奇克;卢克·塞古芬

用一阶逻辑定义的带有一个量词交替的树语言。 （英语） Zbl 1170.03019号

Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。《计算机科学讲义》5126、233-245（2008）。
审核人：赛义德·萨利希（大不里士）
MSC公司：05年3月 03B25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{L.Segoufin}，莱克特。注释计算。科学。5126233--245（2008年；Zbl 1170.03019）
全文： DOI程序 arXiv公司
Mikołaj博扬奇克

ACTL和LTL的共同片段。 （英语） Zbl 1139.68036号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962172-185（2008）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{M.Bojańczyk}，勒克特。注释计算。科学。4962、172--185（2008年；Zbl 1139.68036）
全文： DOI程序
Mikołaj博扬奇克

林表达式。 （英语） Zbl 1179.68068号

Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日在瑞士洛桑举行的第21届CSL国际研讨会，EACSL第16届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。《计算机科学讲义》4646、146-160（2007）。
MSC公司：65年第68季度 03B10号机组 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，莱克特。注释计算。科学。4646、146-160（2007年；Zbl 1179.68068）
全文： DOI程序
亨利克·比约克隆德;Mikołaj博扬奇克

有界深度数据树。 （英语） Zbl 1171.68432号

Arge，Lars（编辑）等人，《自动化，语言和编程》。第34届国际学术讨论会，2007年ICALP，波兰弗罗茨瓦夫，2007年7月9日至13日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596862-874（2007）。
MSC公司：68第05页 03B25号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Björklund}和\textit{M.Bojan nchyk}，莱克特。注释计算。科学。4596862--874（2007年；Zbl 1171.68432）
全文： DOI程序
Mikołaj博扬奇克;彼得·霍夫曼

可交换重写系统并集的可达性是可判定的。 （英语） Zbl 1186.68231号

Thomas，Wolfgang（编辑）等人，STACS 2007。2007年2月22日至24日在德国亚琛举行的第24届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70917-6/pbk）。计算机科学课堂讲稿4393，622-633（2007）。
MSC公司：第68季度第42季度 68问题85 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{P.Hoffman}，莱克特。注释计算。科学。4393、622--633（2007年；Zbl 1186.68231）
全文： DOI程序
Mikołaj博扬奇克;伊戈尔·瓦卢基维奇

描述EF和EX树逻辑。 （英语） Zbl 1097.03504号

Gardner，Philippa（编辑）等人，CONCUR 2004–并发理论。第十五届国际会议，2004年8月31日至9月3日，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22940-X/pbk）。计算机科学讲义3170131-145（2004）。
MSC公司：03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojañczyk}和\textit{I.Walukiewicz}，莱克特。注释计算。科学。3170131-145（2004年；Zbl 1097.03504）
全文： DOI程序
Mikołaj博扬奇克

限定量词。 （英语） 邮编1095.03007

Marcinkowski，Jerzy（编辑）等人，《计算机科学逻辑》。2004年9月20日至24日，第18届国际研讨会，CSL 2004，第13届EACSL年会，波兰卡尔帕茨。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23024-6/pbk）。计算机科学课堂讲稿3210，41-55（2004）。
MSC公司：03B25号 03B15号机组 05年3月
PDF格式BibTeX公司 XML格式引用
\文本{M.Bojańczyk}，勒克特。注释计算。科学。3210、41-55（2004年；Zbl 1095.03007）
全文： DOI程序
Mikołaj博扬奇克

双向交替自动机和有限模型。 （英语） Zbl 1057.03029号

Peter Widmayer（编辑）等人，《自动化、语言和编程》。第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43864-5）。莱克特。注释计算。科学。2380, 833-844 (2002).
MSC公司：05年3月 03B25号 03B45号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，莱克特。注释计算。科学。2380833--844（2002年；Zbl 1057.03029）
全文： 链接
Mikołaj博扬奇克

双向交替自动机的有限图问题。 （英语） Zbl 0978.03011号

Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 88-103 (2001).
MSC公司：03B25号 05年3月 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bojaáczyk}，莱克特。注释计算。科学。2030年，88-103（2001年；Zbl 0978.03011）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

软件