Publication View

A Listing of MetaPRL Theories 1 (2007)

Jason Hickey,
Brian Aydemir,
Yegor Bryukhov,
Alexei Kopylov,
Aleksey Nogin,
Xin Yu

Abstract

This document contains a listing of most of the MetaPRL logical theories. It is generated automatically on a daily basis. To get the latest version, go to

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.13.6662
Source	http://metaprl.org/theories.pdf
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type	text
Language	English
Relation	10.1.1.126.2477