Jump to main content

yr 〜
yr

Search results 21

Efficient intersection tests for objects defined constructively

Efficient intersection tests for objects defined constructively
Paper図書
by Stephen CameronOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

Data refinement in a categorical setting

Data refinement in a categorical setting
Paper図書
by He Jifeng, C.A.R. HoareOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

Collision detection by four-dimensional intersection testing

Collision detection by four-dimensional intersection testing
Paper図書
by Stephen CameronOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

Four pieces on error, truth and reality

Four pieces on error, truth and reality
Paper図書
by Joseph A. GoguenOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

Correctness and communication in real-time systems

Correctness and communication in real-time systems
Paper図書
by Steve SchneiderOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

A Monte Carlo method for implementing model-based diagnostic programs

A Monte Carlo method for implementing model-based diagnostic programs
Paper図書
by Bryan S. ToddOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

Investigations into the complexity of some propositional calculi

Investigations into the complexity of some propositional calculi
Paper図書
by Marcello D'AgostinoOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations

Order-sorted algebra I : equational deduction for multiple inheritance, overloading, exceptions and partial operations
Paper図書
by Joseph A. Goguen, José MeseguerOxford University Computing Laboratory, Programming Research Group1989
Other Libraries in Japan

A functional database

A functional database
Paper図書
by Phil TrinderOxford University Computing Laboratory, Programming Research Group1989
Other Libraries in Japan

A model for communicating sequential processes

A model for communicating sequential processes
Paper図書
by C.A.R. HoareOxford University Computing Laboratory, Programming Research Group1981
Other Libraries in Japan

A guide to communicating sequential processes

A guide to communicating sequential processes
Paper図書
by Shan S. Kuo, Michael H. Linck, Sohrab SaadatOxford University Computing Laboratory, Programming Research Group1978.8
Other Libraries in Japan

Data types as lattices

Data types as lattices
Paper図書
by Dana ScottOxford University Computing Laboratory, Programming Research Group1976
Other Libraries in Japan

The mathematical semantics of Algol 60

The mathematical semantics of Algol 60
Paper図書
by Peter MossesOxford University Computing Laboratory, Programming Research Group1974
Other Libraries in Japan

Continuations : a mathematical semantics for handling full jumps

Continuations : a mathematical semantics for handling full jumps
Paper図書
by Christopher Strachey and Christopher P. WadsworthOxford University Computing Laboratory, Programming Research Group1974
Other Libraries in Japan

The varieties of programming language

The varieties of programming language
Paper図書
by Christopher StracheyOxford University Computing Laboratory, Programming Research Group1973
Other Libraries in Japan

OS6, an operating system for a small computer

OS6, an operating system for a small computer
Paper図書
by Joseph Stoy and Christopher StracheyOxford University Computing Laboratory, Programming Research Group1972
Other Libraries in Japan

Toward a mathematical semantics for computer languages

Toward a mathematical semantics for computer languages
Paper図書
by Dana Scott and Christopher StracheyOxford University Computing Laboratory, Programming Research Group1971
Other Libraries in Japan

The lattice of flow diagrams

The lattice of flow diagrams
Paper図書
by Dana ScottOxford University Computing Laboratory (Programming Research Group)1970
Other Libraries in Japan

Outline of a mathematical theory of computation

Outline of a mathematical theory of computation
Paper図書
by Dana ScottOxford University Computing Laboratory, Programming Research Group1970
Other Libraries in Japan

Technical monographs

Technical monographs
Paper図書
Oxford University Computing Laboratory. Programming Research GroupOxford University Computing Laboratory, Programming Research Group
Other Libraries in Japan
RSS