Andrew Cholewa

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Equational Theories

Random Field Model

Conditional Probabilities

Top Venues

Sci. Comput. Program.

Publications

Andrew Cholewa, Santiago Escobar, José Meseguer
Constrained narrowing for conditional equational theories modulo axioms. Sci. Comput. Program. 112 (2015)