A zero-one law for logic with a fixed-point operator
Blass, Andreas; Gurevich, Yuri.; Kozen, Dexter
1984
Handle: http://hdl.handle.net/2027.42/3694
Other Identifiers: UMR0486
Subject(s): Logic programming.
Show full item record

TXT file
Download
Name: bab2526.0001.001.txt
Size: 52.4KB
Format: Text file
PDF file
Download
Name: bab2526.0001.001.pdf
Size: 2.3MB
Format: PDF

This item appears in the following Collection(s)


Search Deep Blue

Advanced Search

Browse by

My Account

Information


MLibrary logo