Publication View

A Listing of MetaPRL Theories 1 (2006)

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=10.1.1.140.4179
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, 10.1.1.117.3157, 10.1.1.22.9395, 10.1.1.14.1353, 10.1.1.39.5342