Uniform Proofs As a Foundation for Logic Programming
(1991) : Miller, Dale et al
DOI: https://doi.org/10.1016/0168-0072(91)90068-w
#proof #uniform_proofs #operational_semantics #logic_programming #my_bibtex

Uniform Proofs As a Foundation for Logic Programming
(1991) : Miller, Dale et al
DOI: https://doi.org/10.1016/0168-0072(91)90068-w
#proof #logic_programming #operational_semantics #uniform_proofs #my_bibtex

Uniform Proofs As a Foundation for Logic Programming
(1991) : Miller, Dale et al
DOI: https://doi.org/10.1016/0168-0072(91)90068-w
#proof #uniform_proofs #operational_semantics #logic_programming #my_bibtex