Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Volume 232; Issue 1-2

Theoretical Computer Science

Volume 232; Issue 1-2
1

Editorial

Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 48 KB
english, 2000
2

Proof-search in type-theoretic languages: an introduction

Didier Galmiche, David J. Pym
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 264 KB
english, 2000
3

Search algorithms in type theory

James L Caldwell, Ian P Gent, Judith Underwood
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 197 KB
english, 2000
4

Cut-elimination for a logic with definitions and induction

Raymond McDowell, Dale Miller
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 175 KB
english, 2000
5

Extended normal form theorems for logical proofs from axioms

Toshiyasu Arai, Grigori Mints
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 106 KB
english, 2000
6

Efficient resource management for linear logic proof search

Iliano Cervesato, Joshua S. Hodas, Frank Pfenning
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 212 KB
english, 2000
7

Proof finding algorithms for implicational logics

M.W. Bunder
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 140 KB
english, 2000
8

The calculus of constructions as a framework for proof search with set variable instantiation

Amy Felty
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 279 KB
english, 2000
9

Connection methods in linear logic and proof nets construction

D. Galmiche
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 282 KB
english, 2000
10

Correspondences between classical, intuitionistic and uniform provability

Gopalan Nadathur
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 152 KB
english, 2000
11

On the intuitionistic force of classical search

Eike Ritter, David Pym, Lincoln Wallen
Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 202 KB
english, 2000
12

Index

Журнал:
Theoretical Computer Science
Рік:
2000
Мова:
english
Файл:
PDF, 30 KB
english, 2000