Jose Vergara

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 1

Top Topics

Finite Model Theory

Formal Language

Pattern Detection

Top Venues

J. Log. Algebraic Methods Program.

Publications

Barry Jay, Jose Vergara
Conflicting accounts of λ-definability. J. Log. Algebraic Methods Program. 87 (2017)
Barry Jay, Jose Vergara
Confusion in the Church-Turing Thesis. CoRR (2014)
Barry Jay, Jose Vergara
Growing a Language in Pattern Calculus. TASE (2013)