Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

COMPUTING SCIENCE NOTES This is a series of notes of the Computing

Publication date

January 1988

Abstract

An introduction to the category-theoretic solution of recursive domain equations by R.Bos and C.Hemeri

Extracted data

Topics

Related items

Mathematics for Computation (M4C)

Marco Benini
Olaf Beyersdorff
Michael Rathjen
Peter Schuster

January 2023

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially ...

Using information systems to solve recursive domain equations

Larsen, Kim Guldstrand
Winskel, Glynn

April 1991

AbstractThis paper aims to make the following main contribution: to show how to use the concrete nat...

Computation in Science

Hinsen, Konrad

January 2015

International audienceComputation in Science provides a theoretical background in computation to sci...

Abstract Introduction to Computability Theory

Jeffery Zucker
Laurette Pretorius

February 2008

These are notes for a short introductory course on Computability Theory (or recursive function theor...

Categories in recursion theory,

Wasserman, Michael Gary.

January 1971

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1971.Vita.Bibliography...

Category theory The mathematics for the humanities?

Heather, M.
Rossiter, B
Newcastle upon Tyne Univ. (United Kingdom). Dept. of Computing Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.92(UNUT-DCS-TRS--476) / BLDSC -...

Recursive domains, indexed category theory and polymorphism

Taylor, P

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:D59370 / BLDSC - British Library Doc...

The Category Theoretic Solution of Recursive Program Schemes (Corrigendum)

Stefan Milius
Lawrence S. Moss

January 2008

This is a corrigendum for our paper [MM]. The main results are correct, but we offer some changes to...

Recursive abstractions for parameterized systems

Jaffar, J.
Santosa, A.E.

January 2009

10.1007/978-3-642-05089-3_6Lecture Notes in Computer Science (including subseries Lecture Notes in A...

Kemal Akkaya

November 2015

Introduction to topics relevant to the study of computer science including: number systems, sets, se...

Selection by recursively enumerable sets

Merkle, W.
Stephan, F.
Teutsch, J.
Wang, W.
Yang, Y.

January 2013

10.1007/978-3-642-38236-9_14Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Abstraction and computation: type theory, algebraic structures, and recursive functions

Capretta, V.

January 2002

Contains fulltext : 146872.pdf (Publisher’s version ) (Open Access)259 p

Clustering methods considered in our analysis and the respective libraries and functions in R employing the methods.

Mayra Z. Rodriguez (6208337)
Cesar H. Comin (3724186)
Dalcimar Casanova (555517)
Odemir M. Bruno (4993505)
Diego R. Amancio (429722)
Luciano da F. Costa (429724)
Francisco A. Rodrigues (231204)

January 2019

The first column shows the name of the algorithms used throughout the text. The second column indica...

Realization of certain classes of recursive formulae in the addressless computer

Pawlak, Zdzisław

January 1961

W: Bulletin of the Polish Academy of Sciences, Technical Sciences, 9(11):651-653,196

Contributions to recursion theory

Seetapun, D

January 1991

Available from British Library Document Supply Centre- DSC:D061920 / BLDSC - British Library Documen...

Mathematics for Computation (M4C)

Marco Benini
Olaf Beyersdorff
Michael Rathjen
Peter Schuster

January 2023

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially ...

Using information systems to solve recursive domain equations

Larsen, Kim Guldstrand
Winskel, Glynn

April 1991

AbstractThis paper aims to make the following main contribution: to show how to use the concrete nat...

Computation in Science

Hinsen, Konrad

January 2015

International audienceComputation in Science provides a theoretical background in computation to sci...

Abstract Introduction to Computability Theory

Jeffery Zucker
Laurette Pretorius

February 2008

These are notes for a short introductory course on Computability Theory (or recursive function theor...

Categories in recursion theory,

Wasserman, Michael Gary.

January 1971

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1971.Vita.Bibliography...

Category theory The mathematics for the humanities?

Heather, M.
Rossiter, B
Newcastle upon Tyne Univ. (United Kingdom). Dept. of Computing Science

January 1994

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.92(UNUT-DCS-TRS--476) / BLDSC -...

Recursive domains, indexed category theory and polymorphism

Taylor, P

January 1987

SIGLEAvailable from British Library Document Supply Centre- DSC:D59370 / BLDSC - British Library Doc...

The Category Theoretic Solution of Recursive Program Schemes (Corrigendum)

Stefan Milius
Lawrence S. Moss

January 2008

This is a corrigendum for our paper [MM]. The main results are correct, but we offer some changes to...

Recursive abstractions for parameterized systems

Jaffar, J.
Santosa, A.E.

January 2009

10.1007/978-3-642-05089-3_6Lecture Notes in Computer Science (including subseries Lecture Notes in A...

Kemal Akkaya

November 2015

Introduction to topics relevant to the study of computer science including: number systems, sets, se...

Selection by recursively enumerable sets

Merkle, W.
Stephan, F.
Teutsch, J.
Wang, W.
Yang, Y.

January 2013

10.1007/978-3-642-38236-9_14Lecture Notes in Computer Science (including subseries Lecture Notes in ...

Abstraction and computation: type theory, algebraic structures, and recursive functions

Capretta, V.

January 2002

Contains fulltext : 146872.pdf (Publisher’s version ) (Open Access)259 p

Clustering methods considered in our analysis and the respective libraries and functions in R employing the methods.

Mayra Z. Rodriguez (6208337)
Cesar H. Comin (3724186)
Dalcimar Casanova (555517)
Odemir M. Bruno (4993505)
Diego R. Amancio (429722)
Luciano da F. Costa (429724)
Francisco A. Rodrigues (231204)

January 2019

The first column shows the name of the algorithms used throughout the text. The second column indica...

Realization of certain classes of recursive formulae in the addressless computer

Pawlak, Zdzisław

January 1961

W: Bulletin of the Polish Academy of Sciences, Technical Sciences, 9(11):651-653,196

Contributions to recursion theory

Seetapun, D

January 1991

Available from British Library Document Supply Centre- DSC:D061920 / BLDSC - British Library Documen...

Mathematics for Computation (M4C)

Marco Benini
Olaf Beyersdorff
Michael Rathjen
Peter Schuster

January 2023

The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially ...

Using information systems to solve recursive domain equations

Larsen, Kim Guldstrand
Winskel, Glynn

April 1991

AbstractThis paper aims to make the following main contribution: to show how to use the concrete nat...

Computation in Science

Hinsen, Konrad

January 2015

International audienceComputation in Science provides a theoretical background in computation to sci...