Recursion theory.

Completeness and expressive power in propositional dynamic logic

Download file	Size
b17574523.pdf	855.84 KB

Name

Completeness and expressive power in propositional dynamic logic

MIME type

application/pdf

File size

876385

Media of

Completeness and expressive power in propositional dynamic logic

Media Use

Computable enumeration and the problem of repetition

Download file	Size
b17571406.pdf	2.67 MB

Name

Computable enumeration and the problem of repetition

MIME type

application/pdf

File size

2803693

Media of

Computable enumeration and the problem of repetition

Media Use

Subscribe to Recursion theory.