Roel de Vrijer

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Conjunctive Queries

Linear Projection

Queries Using Views

Top Venues

Theor. Comput. Sci.

Publications

Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for infinitary rewriting (extended version). Theor. Comput. Sci. 781 (2019)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for infinitary rewriting. CoRR (2016)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Projections for Infinitary Rewriting. LSFA (2016)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof Terms for Infinitary Rewriting. RTA-TLCA (2014)
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer
Proof terms for infinitary rewriting, progress report. CoRR (2014)