Zum Inhalt springen

Plotkin, Gordon [Sonstige Person, Familie und Körperschaft]; Milner, Robin [Gefeierte:r]

Proof, language, and interaction : essays in honour of Robin Milner

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass.; London: MIT, 2000

Erschienen in: Foundations of computing series
Lassez, Jean-Louis [Herausgeber:in]; Robinson, Alan [Gefeierte:r]; Robinson, John Alan [Gefeierte:r]; Plotkin, Gordon [Herausgeber:in]

Computational logic : essays in honor of Alan Robinson

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge, Mass. [u.a.]: MIT Press, 1991
Plotkin, Gordon [Sonstige Person, Familie und Körperschaft]

Transactions on Computational Systems Biology VI

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2006

Erschienen in: Lecture notes in computer science ; 4220
Dezani-Ciancaglini, Mariangiola [Verfasser:in] ; Plotkin, Gordon [Sonstige Person, Familie und Körperschaft]

Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Erschienen in: Lecture notes in computer science ; 902
Bacci, Giorgio [Verfasser:in]; Mardare, Radu [Verfasser:in]; Panangaden, Prakash [Verfasser:in]; Plotkin, Gordon [Verfasser:in] ; Giorgio Bacci and Radu Mardare and Prakash Panangaden and Gordon Plotkin [Mitwirkende:r]

Tensor of Quantitative Equational Theories

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Cockett, Robin [Verfasser:in]; Cruttwell, Geoffrey [Verfasser:in]; Gallagher, Jonathan [Verfasser:in]; Lemay, Jean-Simon Pacaud [Verfasser:in]; MacAdam, Benjamin [Verfasser:in]; Plotkin, Gordon [Verfasser:in]; Pronk, Dorette [Verfasser:in] ; Robin Cockett and Geoffrey Cruttwell and Jonathan Gallagher and Jean-Simon Pacaud Lemay and Benjamin MacAdam and Gordon Plotkin and Dorette Pronk [Mitwirkende:r]

Reverse Derivative Categories

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Sauvant, Karl P. [Verfasser:in] ; Sachs, Lisa [Sonstige Person, Familie und Körperschaft]; Davies, Kenneth [Sonstige Person, Familie und Körperschaft]; Zandvliet, Ruben [Sonstige Person, Familie und Körperschaft]; Hufbauer, Gary Clyde [Sonstige Person, Familie und Körperschaft]; Kekic, Laza [Sonstige Person, Familie und Körperschaft]; Jensen, Nathan M. [Sonstige Person, Familie und Körperschaft]; Malesky, Edmund J. [Sonstige Person, Familie und Körperschaft]; Avi-Yonah, Reuven S. [Sonstige Person, Familie und Körperschaft]; Guimon, Jose [Sonstige Person, Familie und Körperschaft]; Cotula, Lorenzo [Sonstige Person, Familie und Körperschaft]; Bellak, Christian [Sonstige Person, Familie und Körperschaft]; Leibrecht, Markus [Sonstige Person, Familie und Körperschaft]; Ozawa, Terutomo [Sonstige Person, Familie und Körperschaft]; Mortimore, Michael [Sonstige Person, Familie und Körperschaft]; Razo, Carlos [Sonstige Person, Familie und Körperschaft]; Satyanand, Premila Nazareth [Sonstige Person, Familie und Körperschaft]; Bruche, Gert [Sonstige Person, Familie und Körperschaft]; van Aaken, Anne [Sonstige Person, Familie und Körperschaft]; Kurtz, Jürgen [Sonstige Person, Familie und Körperschaft]; Gordon, Kathryn [Sonstige Person, Familie und Körperschaft]; Pohl, Joachim [Sonstige Person, Familie und Körperschaft]; Fotak, Veljko [Sonstige Person, Familie und Körperschaft]; Megginson, William L. [Sonstige Person, Familie und Körperschaft]; Kovacs, Charles [Sonstige Person, Familie und Körperschaft]; [...]

FDI Perspectives : Issues in International Investment

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, [2018]
Sauvant, Karl P. [Verfasser:in] ; Reimer, Jennifer [Sonstige Person, Familie und Körperschaft]; Allee, Todd [Sonstige Person, Familie und Körperschaft]; Alon, Ilan [Sonstige Person, Familie und Körperschaft]; Amsden, Alice H. [Sonstige Person, Familie und Körperschaft]; Asami, Tadahiro [Sonstige Person, Familie und Körperschaft]; Avi-Yonah, Reuven S. [Sonstige Person, Familie und Körperschaft]; Barbour, Paul [Sonstige Person, Familie und Körperschaft]; Bellak, Christian [Sonstige Person, Familie und Körperschaft]; Berger, Axel [Sonstige Person, Familie und Körperschaft]; Beugelsdijk, Sjoerd [Sonstige Person, Familie und Körperschaft]; Bhattacharjee, Subrata [Sonstige Person, Familie und Körperschaft]; Broadman, Harry G. [Sonstige Person, Familie und Körperschaft]; Broomfield, Elizabeth [Sonstige Person, Familie und Körperschaft]; Bruche, Gert [Sonstige Person, Familie und Körperschaft]; Busse, Matthias [Sonstige Person, Familie und Körperschaft]; Cantwell, John A. [Sonstige Person, Familie und Körperschaft]; Cherp, Aleh [Sonstige Person, Familie und Körperschaft]; Cotula, Lorenzo [Sonstige Person, Familie und Körperschaft]; Dasgupta, Nandita [Sonstige Person, Familie und Körperschaft]; Davies, Kenneth [Sonstige Person, Familie und Körperschaft]; de Gramont, Alexandre [Sonstige Person, Familie und Körperschaft]; de Mestral, Armand Claude [Sonstige Person, Familie und Körperschaft]; Duggal, Kabir [Sonstige Person, Familie und Körperschaft]; Economou, Persephone [Sonstige Person, Familie und Körperschaft]; [...]

FDI Perspectives : Issues in International Investment, 2nd Edition

Online ansehen
Schließen

Zugang

... zum E-Book (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[S.l.]: SSRN, [2018]
Plotkin, Gordon

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Partial Recursive Functions and Finality

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2013

Erschienen in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (2013), Seite 311-326
Plotkin, Gordon

Algebra and Coalgebra in Computer Science: Adequacy for Infinitary Algebraic Effects (Abstract)

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen in: Algebra and Coalgebra in Computer Science (2009), Seite 1-2
Plotkin, Gordon

Algebra, Meaning, and Computation: Some Varieties of Equational Logic

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Algebra, Meaning, and Computation (2006), Seite 150-156
PLOTKIN, GORDON

A domain-theoretic Banach–Alaoglu theorem

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 2006

Erschienen in: Mathematical Structures in Computer Science, 16 (2006) 2, Seite 299
Plotkin, Gordon

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science: Hennessy-Plotkin-Brookes Revisited

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (2006), Seite 4-4
Plotkin, Gordon

Algebra and Coalgebra in Computer Science: Adequacy for Algebraic Effects with State

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Algebra and Coalgebra in Computer Science (2005), Seite 51-51
Plotkin, Gordon

Foreword

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2004

Erschienen in: Annals of Pure and Applied Logic, 130 (2004) 1-3, Seite 1
Plotkin, Gordon

Bialgebraic Semantics and Recursion

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2001

Erschienen in: Electronic Notes in Theoretical Computer Science, 44 (2001) 1, Seite 285-288
Plotkin, Gordon

Three Inadequate Models

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2002

Erschienen in: Formal Aspects of Computing, 13 (2002) 3-5, Seite 364-385
PLOTKIN, GORDON

Full abstraction, totality and PCF

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Cambridge University Press (CUP), 1999

Erschienen in: Mathematical Structures in Computer Science, 9 (1999) 1, Seite 1-20
Plotkin, Gordon

On a Question of H. Friedman

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 1996

Erschienen in: Information and Computation, 126 (1996) 1, Seite 74-77
Plotkin, Gordon

Lecture Notes in Computer Science: A semantics for type checking

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 1991

Erschienen in: Lecture Notes in Computer Science (1991), Seite 1-17

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr