Jump to main content

yr 〜
yr

Search results 30

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

Proof, language, and interaction : essays in honour of Robin Milner : hc
Paper図書
edited by Gordon Plotkin, Colin Stirling, and Mads TofteMIT Pressc2000
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Dynamic logic

Dynamic logic
Paper図書
David Harel, Dexter Kozen, Jerzy TiurynMIT Press2000
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Computability and complexity : from a programming perspective

Computability and complexity : from a programming perspective
Paper図書
Neil D. JonesMIT Pressc1997
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Efficient algorithms : pbk

Efficient algorithms : pbk
Paper図書
Eric Bach and Jeffrey ShallitMIT Pressc1996
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Algebraic semantics of imperative programs

Algebraic semantics of imperative programs
Paper図書
Joseph A. Goguen and Grant MalcolmMIT Pressc1996
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Foundations for programming languages

Foundations for programming languages
Paper図書
John C. MitchellMIT Pressc1996
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Control flow semantics

Control flow semantics
Paper図書
Jaco de Bakker and Erik de VinkMIT Pressc1996
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Efficient algorithms

Efficient algorithms
Paper図書
Eric Bach and Jeffrey ShallitMIT Pressc1996
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

The structure of typed programming languages

The structure of typed programming languages
Paper図書
David A. SchmidtMIT Pressc1994
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

From logic to logic programming

From logic to logic programming
Paper図書
Kees DoetsMIT Pressc1994
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Theoretical aspects of object-oriented programming : types, semantics, and language design

Theoretical aspects of object-oriented programming : types, semantics, and language design
Paper図書
edited by Carl A. Gunter and John C. MitchellMIT Pressc1994
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Logic and information flow

Logic and information flow
Paper図書
edited by Jan van Eijck and Albert VisserMIT Pressc1994
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Circuit complexity and neural networks

Circuit complexity and neural networks
Paper図書
Ian ParberryMIT Pressc1994
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Exploring interior-point linear programming : algorithms and software

Exploring interior-point linear programming : algorithms and software
Paper図書
Ami ArbelMIT Pressc1993
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

The formal semantics of programming languages : an introduction

The formal semantics of programming languages : an introduction
Paper図書
Glynn WinskelMIT Pressc1993
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

The formal semantics of programming languages : an introduction : pbk

The formal semantics of programming languages : an introduction : pbk
Paper図書
Glynn WinskelMIT Pressc1993
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Semantics of programming languages : structures and techniques

Semantics of programming languages : structures and techniques
Paper図書
Carl A. GunterMIT Pressc1992
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Hilbert's tenth problem

Hilbert's tenth problem
Paper図書
Yuri V. Matiyasevich ; with a foreword by Martin DavisMIT Pressc1993
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Basic category theory for computer scientists

Basic category theory for computer scientists
Paper図書
Benjamin C. PierceMIT Pressc1991
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing

Categories, types, and structures : an introduction to category theory for the working computer scientist

Categories, types, and structures : an introduction to category theory for the working computer scientist
Paper図書
Andrea Asperti, Giuseppe LongoMIT Pressc1991
Other Libraries in Japan
  • Related MaterialMIT Press series in the foundations of computing
  • Periodical TitleMIT Press series in the foundations of computing
RSS