1.Realising Optimal Sharing

作　　者：Vincent van Oostrom

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:5-6.doi:10.4230/LIPIcs.RTA.2010.5

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

文章 ID：186845686

文章详细全文下载
2.Higher-Order (Non-)Modularity

作　　者：Claus Appel ;Vincent van Oostrom ;Jakob Grue Simonsen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:17-32.doi:10.4230/LIPIcs.RTA.2010.17

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

文章 ID：186845688

文章详细全文下载
3.Unique Normal Forms in Infinitary Weakly Orthogonal Rewriting

作　　者：Joerg Endrullis ;Clemens Grabmayer ;Dimitri Hendriks 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:85-102.doi:10.4230/LIPIcs.RTA.2010.85

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

文章 ID：186845692

文章详细全文下载
4.Triangulation in Rewriting

作　　者：Vincent van Oostrom ;Hans Zantema

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:240-255.doi:10.4230/LIPIcs.RTA.2012.240

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

文章 ID：186846088

文章详细全文下载
5.Proof Orders for Decreasing Diagrams

作　　者：Bertram Felgenhauer ;Vincent van Oostrom

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:174-189.doi:10.4230/LIPIcs.RTA.2013.174

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

文章 ID：186846311

文章详细全文下载
6.Normalisation by Random Descent

作　　者：Vincent van Oostrom ;Yoshihito Toyama

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:32:1-32:18.doi:10.4230/LIPIcs.FSCD.2016.32

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

文章 ID：186847464

文章详细全文下载

	Hans Zantema	1篇
	Jakob Grue Simonsen	1篇
	Jan Willem Klop	1篇
	Joerg Endrullis	1篇
	Yoshihito Toyama	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Vincent van Oostrom")))) )) ) )"

	Vincent van Oostrom	6篇
	Bertram Felgenhauer	1篇
	Claus Appel	1篇
	Clemens Grabmayer	1篇
	Dimitri Hendriks	1篇

	2016	1篇
	2013	1篇
	2012	1篇
	2010	3篇