Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
Paper
A Model-Theoretic Analysis of Knowledge
Abstract
No abstract available.
Related
Yale Song, Zhen Wen, et al.
IJCAI 2013
Conference paper
The bionic DBMS is coming, but what will it look like?
Ryan Johnson, Ippokratis Pandis
CIDR 2013
Masami Akamine, Jitendra Ajmera
IEICE Trans Inf Syst