Donazioni 15 September, 2024 – 1 Ottobre, 2024 Sulla raccolta fondi

Background Mathematical Structures

Main
Computers - Programming
Background Mathematical Structures

Background Mathematical Structures

S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum (eds.)

0 / 0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

Categorie:

Computers - Programming

Anno:

1995

Casa editrice:

Clarendon Press

Lingua:

english

Pagine:

672

ISBN 10:

0198537808

ISBN 13:

9780198537809

Collana:

Handbook of Logic in Computer Science: Volume 1

File:

DJVU, 5.24 MB

IPFS:

,

english, 1995

Leggi Online

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

Aleš Pultr, Věra Trnková — Combinatorial, Algebraic, and Topological Representations of Groups, Semigroups, and Categories

AA. VV. — Journal of Pure and Applied Algebra

Zbigniew Semadeni — Banach Spaces of Continuous Functions

— Applied Categorical Structures 1993-1996

— Topology and its Applications 137

— Journal of Pure and Applied Algebra №1(1971)

— Journal of Pure and Applied Algebra №17 (1980)

Erdman J.M — Functional analysis and operator algebras

Jean Alexandre Dieudonné — A Panorama of Pure Mathematics (as Seen by N. Bourbaki)

Jean Alexandre Dieudonné — A Panorama of Pure Mathematics (as Seen by N. Bourbaki)

Alex Heller, Myles Tierney — Algebra, Topology, and Category Theory. A Collection of Papers in Honor of Samuel Eilenberg

A. Ya Helemskii, A. West — Banach and Locally Convex Algebras

Abramsky S., Gabbay D.M., Maibaum T.S. E. (eds.) — Handbook of logic in computer science, vol.1: Background. Mathematical structures

G. M. Reed, A. W. Roscoe, R. F. Wachter — Topology and Category Theory in Computer Science

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Tai-Danae Bradley, Tyler Bryson, John Terilla — Topology: A Categorical Approach

Binz E. (ed.) — Categorical Topology

Novak J. (Ed) — General Topology and Its Relations to Modern Analysis and Algebra IV: Proceedings of the Fourth Prague Topological Symposium

Ioan M. James — General Topology and Homotopy Theory

Stoltenberg-Hansen V., Lindstrom I., Griffor E.R. — Mathematical Theory of Domains

K.D. Joshi — Introduction to general topology

Manes, Ernest G., Arbib, Michael A. — Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Manes, Ernest G — Algebraic theories

Ernest Manes — Algebraic Theories

Koen Thas — Absolute Arithmetic and F1-geometry

Jost, Jürgen — Mathematical Concepts

F. W. Lawvere — Toposes, Algebraic Geometry And Logic

J. Novak — General Topology and Its Relations to Modern Analysis and Algebra IV

M. P. Fourman, C. J. Mulvey, D. S. Scott — Applications of sheaves. Proceedings Symposium on Appl. Sheaf Theory, Durham, 1977

Kamps K.H., Pumplün D., Tholen W. — Category Theory, Applications to Algebra, Logic, and Topology: Proceedings, Gummersbach, FRG, 1981

S. Kamal Abdali, David S. Wise (auth.), Austin Melton (eds.) — Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

Francis Borceux — Categorical Algebra and its Applications. Proc. conf. Louvain-La-Neuve, 1987

Joseph J. Rotman — An Introduction to Algebraic Topology

Herrlich H., Porst H.-E. (eds.) — Category theory at work

Termini più frequenti