( en | de | ru )

 

Disambiguierung von "Hankin, Chris"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An introduction to lambda calculi for computer scientists

. Texts in Computing King's College Publ., London, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Chris Paschold

Chris Thümmler

Chris Neisse

Chris Protzel

Chris Fröhlich

 

Weitere Publikationen von Autoren mit dem selben Namen

Strategic Directions in Research on Programming Languages., , und . ACM Comput. Surv., 28 (4): 644-652 (1996)Program Analysis Games., und . ACM Comput. Surv., 31 (3es): 5 (1999)A Parallel Programming Style and Its Algebra of Programs., , und . PARLE, Volume 694 von Lecture Notes in Computer Science, Seite 367-378. Springer, (1993)COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer., , , , und . PARLE (1), Volume 258 von Lecture Notes in Computer Science, Seite 51-67. Springer, (1987)Deep Latent Defence., , , und . CoRR, (2019)Preface., , und . Theory and Formal Methods, Imperial College Press, (1994)Multi-scale Community Detection using Stability Optimisation within Greedy Algorithms, und . CoRR, (2012)The Early Bird Catches The Term: Combining Twitter and News Data For Event Detection and Situational Awareness., , und . CoRR, (2015)A short note on Simulation and Abstraction.. Festschrift for Dave Schmidt, Volume 129 von EPTCS, Seite 337-340. (2013)Tempus fugit: How to plug it., , , und . J. Log. Algebraic Methods Program., 72 (2): 173-190 (2007)