Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444876478

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Edited by

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73068-8 ◽

1985 ◽

pp. iii

Download Full-text

Constructive Mathematics as a Programming Logic I: Some Principles of Theory

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73073-1 ◽

1985 ◽

pp. 21-37 ◽

Cited By ~ 3

Author(s):

Robert L. Constable

Keyword(s):

Constructive Mathematics ◽

Programming Logic

Download Full-text

Conference Commitees “Foundations of Computation Theory- 1983” Borgholm, Sweden, August 21-27, 1983

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73071-8 ◽

1985 ◽

pp. vii-viii

Keyword(s):

Computation Theory

Download Full-text

Space and Reversal Complexity of Probabilistic One-Way Turing Machines

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73074-3 ◽

1985 ◽

pp. 39-50

Author(s):

Rūsiņš Freivalds

Keyword(s):

Turing Machines

Download Full-text

Author Index

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73081-0 ◽

1985 ◽

pp. 187

Download Full-text

Descriptional Complexity for Classes of Ianov-Schemes

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73080-9 ◽

1985 ◽

pp. 155-186

Author(s):

Peter Trum ◽

Detlef Wotschke

Keyword(s):

Descriptional Complexity

Download Full-text

Effective Determination of the Zeros of p-Adic Exponential Functions

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73077-9 ◽

1985 ◽

pp. 103-109

Author(s):

Angus Macintyre

Keyword(s):

Exponential Functions

Download Full-text

Preface

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73070-6 ◽

1985 ◽

pp. v-vi

Author(s):

Marek Karpinski ◽

Jan van Leeuwen

Download Full-text

The Logic of Games and its Applications

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73078-0 ◽

1985 ◽

pp. 111-139 ◽

Cited By ~ 30

Author(s):

Rohit Parikh

Download Full-text

Advisory Editors

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies ◽

10.1016/s0304-0208(08)73067-6 ◽

1985 ◽

pp. ii

Download Full-text

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics StudiesLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Edited by

Constructive Mathematics as a Programming Logic I: Some Principles of Theory

Conference Commitees “Foundations of Computation Theory- 1983” Borgholm, Sweden, August 21-27, 1983

Space and Reversal Complexity of Probabilistic One-Way Turing Machines

Author Index

Descriptional Complexity for Classes of Ianov-Schemes

Effective Determination of the Zeros of p-Adic Exponential Functions

Preface

The Logic of Games and its Applications

Advisory Editors

Topics in the Theory of Computation, Selected Papers of the International Conference on ‘Foundations of Computation Theory’, FCT '83 - North-Holland Mathematics Studies
Latest Publications